1 // { dg-options "-std=c++17 -fconcepts" }
3 // Test that standard conversions are checked with
4 // implicit conversion constraints.
6 template<typename T, typename U>
9 return requires(T& t) { {t} -> U&; };
17 static_assert(C<D, B>(), ""); // { dg-error "failed" }