| // PR c++/97517 | |
| // { dg-do compile { target c++20 } } | |
| // Test that we print "decltype(nullptr)" correctly. | |
| template<typename T> struct Trait { static constexpr bool value = false; }; | |
| template<typename T> concept Concept = Trait<T>::value; // { dg-message {\[with T = std::nullptr_t\]} } | |
| static_assert( Concept<decltype(nullptr)> ); // { dg-error "static assertion failed" } | |
| // { dg-message "constraints not satisfied" "" { target *-*-* } .-1 } |