https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110256
Bug ID: 110256 Summary: passing concept to concept compiles Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: ldalessandro at gmail dot com Target Milestone: --- I accidentally passed a concept to convertible_to and was surprised to see it compile. ``` #include <concepts> template <class T> concept b = requires (T t ) { { auto(t) } -> std::convertible_to<std::integral>; }; static_assert(b<int>); ``` https://godbolt.org/z/jh53n185s