blob: e40796f497554c9b9d4b4676ef833e29c68f793c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// PR c++/84551
// { dg-do compile { target c++2a } }
// { dg-additional-options "-g -O" }
template<typename> concept C = true;
template<template<typename T> requires C<T> class TT> struct A {};
template<typename U> requires true struct B {};
A<B> a; // { dg-error "" }
|