Edaqa Mortoray

Record takes a `Key` type, implying it is significant. But what you are saying is that the `Key` type is effectively irrelevant. If TypeScript is meant to treat these types...

This modified example from the documentation also counteracts the claim that Key is not part of the structure. ``` interface CatInfo { age: number; breed: string; }   type CatName =...

But you can see how that check is a valuable check and would be desired for the assignment in my original example? It does not imply anything about the runtime...

I suppose I'm objecting to the fact that the `Key` in record is not part of its structural type. The language is effectively lying that it supports a Key parameter...

In that sense, is it valid to define a strict type as follows, since it would be structurally incompatible with any other StrictRecord: ``` type StrictRecord = { [key in...