gcc/testsuite/g++.dg/cpp2a/concepts-inherit-ctor7.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// 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
}