[danielheath]

Did the comment you're replying to get edited? They are pretty explicitly talking about statically known type information, not runtime.

[__ryan__]

They’re suggesting outputting runtime type information by emitting different code based on the type of the value passed to their hypothetical “Type.keys()” function.

[danielheath]

Ahh, that makes sense then; thanks for clarifying.