gcc/testsuite/g++.dg/concepts/req10.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 // Test that standard conversions are checked with
   4 // implicit conversion constraints.
   5
   6 template<typename T, typename U>
   7 concept bool C()
   8 {
   9   return requires(T& t) { {t} -> U&; };
  10 }
  11
  12 struct B { };
  13 class D : B { };
  14
  15 int main()
  16 {
  17   static_assert(C<D, B>(), ""); // { dg-error "failed" }
  18 }