gcc/testsuite/g++.dg/concepts/debug1.C

   1 // PR c++/84551
   2 // { dg-do compile { target c++17_only } }
   3 // { dg-options "-fconcepts-ts" }
   4
   5 template<typename> concept bool C() { return true; }
   6
   7 template<template<typename T> requires C<T>() class TT> struct A {};
   8
   9 template<typename U> requires C<U>() struct B {};
  10
  11 A<B> a;