Summary

Design, implement and experimentally land a reflection scheme based on const fn that can only be called at compile time.
This proposal is solely for producing const eval values, not for putting types back into the type system.
That will be a follow-up once this proposal has a merged MVP.

Tasks and status

• Discussion and moral support (lang )
• Do the work ()

Design language feature to solve problem

• Lang-team experiment (lang, libs )

Implement language feature

• Implementation ()
• Standard reviews (compiler )
• Design meeting (lang )
• Author call for testing blog post