So, it would be better to make `TypeInfo.next()` and `TypeInfo.flags()` @safe .