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

Reply via email to