I'd like to start a Project Group with the goal of investigating how best to expose type awareness to logic, if the Lang Team is ready to accept such proposals.
There are a few places where Rust is lacking Runtime Type Information, and this hinders efforts to write optimal code in cases where infrastructure uses dynamic dispatch. The main idea I'm starting with is a series of traits that the compiler can derive (for ergonomic, opt-in, per-type basis), trading various optimizations for runtime functionalities.
I'm not sure which part of RTTI you're thinking about here. Are you thinking like C++'s
typeid, about thin-pointer-vtable-dispatch, or something else entirely? (I first thought the former, but the mention of dynamic dispatch made me unsure.)