Unification and extension of compile-time reflection

[Christopher Wright]

Ary Borenszweig wrote:
> I think that's an alias of an expression, and you can't do that. I was 
> thinking maybe something.traits returns an instance of an object that is 
> very well defined, but is only available at compile-time. So:

If Walter puts forth the effort to create this, very little further 
effort would make it available at runtime, most likely.

It'd be extremely convenient, though.