| // PR c++/92552 | |
| // { dg-do compile { target concepts } } | |
| template <typename T> struct basic_mixin { | |
| basic_mixin() requires true; | |
| }; | |
| template <typename Cur> | |
| struct mixin : basic_mixin<Cur> { | |
| using basic_mixin<Cur>::basic_mixin; | |
| }; | |
| int main() { | |
| (void)__is_constructible(mixin<int>); | |
| // noexcept(mixin<int>()); also triggers ICE | |
| } |