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

   1 // PR c++/84551
   2 // { dg-options "-g -O -std=c++17 -fconcepts" }
   3
   4 template<typename> concept bool C() { return true; }
   5
   6 template<template<typename T> requires C<T>() class> struct A {};
   7
   8 template<typename> requires true struct B {};
   9
  10 A<B> a;