Once typeid can be returned from functions, something like this could become useful:
auto foo(){ return typeid(int); }
static assert(is(__traits(typeFromId, foo())==int));
i.e., add a way to map a type id to its corresponding type at compile time.
Comment #1 by robert.schadek — 2024-12-13T18:06:08Z