Typescript: Why type alias satisfies a constraint but same interface doesn’t?

by

You’ve run into a known issue, microsoft/TypeScript#15300 whereby implicit index signatures are inferred for type aliases but not for interfaces. This is one of those few places where type aliases and interfaces differ in type analysis. According to @RyanCavanaugh (Development lead for the TypeScript team at Microsoft), this is by design:

Just to fill people in, this behavior is currently by design. Because interfaces can be augmented by additional declarations but type aliases can’t, it’s “safer” (heavy quotes on that one) to infer an implicit index signature for type aliases than for interfaces. But we’ll consider doing it for interfaces as well if that seems to make sense. [emphasis added]

Okay, it’s currently by design but the GitHub issue’s status (as of 2019-04-23) is “suggestion” and “in discussion”. So if you want to see this changed, you might want to go there and give the issue a 👍 or describe your use case if it’s particularly compelling.

Hope that helps; good luck!

More Related Contents:

  1. How to define Typescript type as a dictionary of strings but with one numeric “id” property
  2. Expression ___ has changed after it was checked
  3. Could not find a declaration file for module ‘module-name’. ‘/path/to/module-name.js’ implicitly has an ‘any’ type
  4. How to suppress “error TS2533: Object is possibly ‘null’ or ‘undefined'”?
  5. TypeScript conditional types – filter out readonly properties / pick only required properties
  6. Typescript: infer type of generic after optional first generic
  7. Typescript Discriminated Union allows invalid state
  8. Define global constants
  9. Create an enum with string values
  10. What does ‘declare’ do in ‘export declare class Actions’?
  11. “parserOptions.project” has been set for @typescript-eslint/parser
  12. How to use namespaces with import in TypeScript
  13. TypeScript typings in npm @types org packages
  14. angular2 bootstrap with data from ajax call(s)
  15. Interface is allowing extra property when it is used as return type of a function
  16. Typescript: What’s the difference between an optional field and a union with undefined?
  17. Is it possible to generate string literal combinations with template literal in TypeScript?
  18. Can’t narrow the type of an object property even after checking it with a type guard
  19. Why do subtypes need to be assigned to a variable before being used as a function argument?
  20. Typescript narrowing of keys in objects when passed to function
  21. What do square brackets mean where a field should be in typescript?
  22. Typescript type T or function () => T usage
  23. Flatten object with custom keys in Typescript
  24. TypeScript empty object for a typed variable
  25. What does a TypeScript index signature actually mean?
  26. Why does a Typescript type conditional on `T extends undefined`, with T instantiated with `boolean`, resolve T to `never`?
  27. What exactly $event object do in Angular 2?
  28. new Typescript “satisfies” operator
  29. Is it possible to export * as foo in typescript
  30. Narrowing a return type from a generic, discriminated union in TypeScript

Leave a Comment