intro7.C\concepts\g++.dg\testsuite\gcc - riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

index : riscv-gnu-toolchain/gcc.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/gcc/testsuite/g++.dg/concepts/intro7.C

blob: 9cb4a76740b5918f497b2876a2038b767224fc44 (plain)

// PR c++/66985
// { dg-options "-std=c++17 -fconcepts" }

template <template <class> class T>
concept bool _Valid = requires { typename T<int>; };

template <template <class> class T>
struct __defer { };

_Valid{T}
struct __defer<T> {
  using type = T<int>;
};