1 2 3 4 5 6 7 8 9 10 11
// PR c++/99909 // { dg-do compile { target c++20 } } template<class T> constexpr bool always_true = true; template<class T> concept C = always_true<T>; template<C auto> struct S; template<template<auto> class TT> void f() { } template void f<S>();