[Bug c++/110256] passing concept to concept compiles

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110256

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced to:
```
template<class T>
concept c = true;
template<class T, class T1>
concept  d = false;

template <class T>
concept b = requires (T t ) {
    { t } -> d<c>;
};

static_assert(!b<int>);
```