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

   1 // PR c++/84551
   2 // { dg-do compile { target c++17 } }
   3 // { dg-options "-fconcepts" }
   4
   5 template<typename> concept C = 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;