gcc/testsuite/g++.dg/cpp2a/concepts-ttp5.C

   1 // PR c++/111485
   2 // { dg-do compile { target c++20 } }
   3
   4 template<class T> constexpr bool always_true = true;
   5
   6 template<class T> concept C = always_true<T>;
   7 template<class T> concept D = C<T> || true;
   8
   9 template<template<C> class TT> struct example;
  10 template<template<D> class UU> using example_t = example<UU>;
  11
  12 template<class T>
  13 struct A {
  14   template<template<C> class TT> struct example;
  15
  16   template<template<D> class UU> using example_t = example<UU>;
  17
  18   template<class U>
  19   struct B {
  20     template<template<D> class UU> using example_t = example<UU>;
  21   };
  22 };
  23
  24 template struct A<int>::B<int>;