Forcing excess-property checking on variable passed to TypeScript function

by

Hope this helps, this will cause it to fail. The underlying cause here is Typescripts reliance on structural typing which is alot better than the alternative which is Nominal typing but still has its problems. 

type StrictPropertyCheck<T, TExpected, TError> = Exclude<keyof T, keyof TExpected> extends never ? {} : TError;

interface Animal {
    speciesName: string
    legCount: number,
}

function serializeBasicAnimalData<T extends Animal>(a: T & StrictPropertyCheck<T, Animal, "Only allowed properties of Animal">) {
    // something
}

var weirdAnimal = {
    legCount: 65,
    speciesName: "weird 65-legged animal",
    specialPowers: "Devours plastic"
};
serializeBasicAnimalData(weirdAnimal); // now correctly fails

More Related Contents:

  1. Transform union type to intersection type
  2. ‘any’ vs ‘Object’
  3. Create a global variable in TypeScript
  4. How to use jQuery with TypeScript
  5. Type definition in object literal in TypeScript
  6. Difference between Variance, Covariance, Contravariance and Bivariance in TypeScript
  7. How do I declare object value type without declaring key type?
  8. Typescript property does not exist on union type
  9. Keyof inferring string | number when key is only a string
  10. Function property vs method
  11. How to declare a type as nullable in TypeScript?
  12. Why does TypeScript track mutation of function static properties?
  13. Array VS Type[] in Typescript
  14. TypeScript filter out nulls from an array
  15. typescript: validate excess keys on value, returned from function
  16. Typescript: Omit a property from all interfaces in a union, but keep the union structure
  17. Declaring abstract method in TypeScript
  18. ts An async function or method in ES5/ES3 requires the ‘Promise’ constructor
  19. How to declare a function that throws an error in Typescript
  20. How to use enum as index key type in typescript?
  21. How to share code between TypeScript projects?
  22. How to make Typescript infer the keys of an object but define type of its value?
  23. Is there ArgumentsType like ReturnType in Typescript?
  24. Typescript: Remove entries from tuple type
  25. Typescript: change function type so that it returns new value
  26. Check if object correctly implements interface
  27. Is it possible to narrow the types of overloaded parameters without exhaustively checking each parameter in the function body?
  28. What are the differences between the private keyword and private fields in TypeScript?
  29. TypeScript: deep partial?
  30. Narrowing a return type from a generic, discriminated union in TypeScript

Leave a Comment