Examples: TIsBitwiseConstructible::Value == true // PODs can be trivially copied TIsBitwiseConstructible, int >::Value == true // a non-const Derived pointer is trivially copyable as a const Base pointer TIsBitwiseConstructible, const int>::Value == false // not legal the other way because it would be a const-correctness violation TIsBitwiseConstructible::Value == true // signed integers can be memcpy'd as unsigned integers TIsBitwiseConstructible::Value == true // and vice versa