gcc/testsuite/g++.dg/ext/is_trivially_constructible6.C

// PR c++/81589

template <typename k>
struct z {
  z() {
    k::error;
  }
};

int x = __is_trivially_constructible(z<int>);