blob: e8c76214047664d909cba091a11ef637d942bb79 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
// RUN: %clang_cc1 -std=c++2c -verify %s
template<template<typename> auto Var>
struct A{};
template<template<auto> auto Var>
struct B{};
template<template<typename> auto Var>
struct C{};
template<template<typename> concept C>
struct D{};
template<template<auto> concept C>
struct E{};
template<template<typename> auto Var>
int V1;
template<template<auto> auto Var>
int V2;
template<template<typename> auto Var>
int V3;
template<template<typename> concept C>
int V4;
template<template<auto> concept C>
int V5;
namespace packs {
template<template<typename> auto... Var>
struct A{};
template<template<auto> auto... Var>
struct B{};
template<template<typename> auto... Var>
struct C{};
template<template<typename> concept... C>
struct D{};
template<template<auto> concept... C>
struct E{};
template<template<typename> auto... Var>
int V1;
template<template<auto> auto... Var>
int V2;
template<template<typename> auto... Var>
int V3;
template<template<typename> concept... C>
int V4;
template<template<auto> concept... C>
int V5;
}
namespace concepts {
template<template<auto> concept...>
struct A{};
template<template<auto> concept... C>
struct B{};
template<template<auto> concept& C> // expected-error{{expected identifier}} \
// expected-error {{in declaration of struct 'C'}}
struct C{};
}
namespace vars {
template<template<auto> auto...>
struct A{};
template<template<auto> auto & C> // expected-error {{expected identifier}} \
// expected-error {{extraneous 'template<>'}}
struct B{};
template<template<auto> const auto> // expected-error {{expected identifier}} \
// expected-error {{extraneous 'template<>'}}
struct C{};
}
namespace errors {
template<concept> // expected-error {{expected template parameter}} \
// expected-error {{extraneous 'template<>' in declaration of struct 'A'}}
struct A{};
template<template<concept> auto> // expected-error {{expected template parameter}} \
// expected-error {{template template parameter must have its own template parameters}}
struct B{};
}
|
