For example struct A{} @safe void main(){ import std.stdio; A a, b; auto y = typeid(a); y.name = "Nope, I'm not A"; auto x = typeid(b); writeln(x); }
Make changes to TypeInfo will affect all the future typeid() results! And D is OK with that?
IMO, TypeInfo returned by typeid() should be immutable.