Ich kenne Type Traits aus C++, und zwar wird es dort für eine Sammlung von Compile-Time-"Funktionen" behandelt, mit denen man Informationen über Typen bekommen kann, also zum Beispiel ob zwei Typen ineinander konvertierbar sind, ob ein Typ ein integraler Typ ist, ob ein Typ trivial kopierbar ist usw.

https://en.cppreference.com/w/cpp/header/type_trai...