1 2 3 4 5 6 7 8 9 10
// PR c++/81589 template <typename k> struct z { z() { k::error; } }; int x = __is_trivially_constructible(z<int>);