Lines Matching refs:concept

4 template<typename T> concept C1 = true; // expected-note 2{{previous}}
6 template<typename T> concept C1 = true; // expected-error{{redefinition}}
8 template<concept T> concept D1 = true;
12 template<template<typename> concept T> concept D2 = true;
18 …template<typename T> concept C1 = true; // expected-error {{concept declarations may only appear i…
22   template<typename T> concept C1 = true; // expected-error{{redefinition}}
27 concept C2 = true; // expected-error {{extraneous template parameter list in concept definition}}
29 template<typename T> concept C3 = true; // expected-note {{previous}} expected-note {{previous}}
34 template<typename T> concept C4 = true;
44   template<typename T> concept C5 = true;
48 template <bool word> concept C6 = integral_constant<bool, wor>::value;
52 template<typename T> concept bool C7 = true;
55 template<> concept C8 = false;
58 template<> concept C7<int> = false;
61 template<typename T> concept N::C9 = false;
67 template<typename T> concept A::C10 = false;
70 template<typename T> concept operator int = false;
73 template<bool x> concept C11 = 2; // expected-error {{atomic constraint must be of type 'bool' (fou…
74 template<bool x> concept C12 = 2 && x; // expected-error {{atomic constraint must be of type 'bool'…
75 template<bool x> concept C13 = x || 2 || x; // expected-error {{atomic constraint must be of type '…
76 template<bool x> concept C14 = 8ull && x || x; // expected-error {{atomic constraint must be of typ…
77 template<typename T> concept C15 = sizeof(T); // expected-error {{atomic constraint must be of type…
78 template<typename T> concept C16 = true && (0 && 0); // expected-error {{atomic constraint must be …
82 template<typename T> concept C17 = T{};
84 template<typename T> concept C18 = (bool&&)true;
86 template<typename T> concept C19 = (const bool&)true;
88 template<typename T> concept C20 = (const bool)true;
90 template <bool c> concept C21 = integral_constant<bool, c>::value && true;
93 template <bool c> concept C22 = integral_constant<bool, c>::value;
97 template <bool word> concept C23 = integral_constant<bool, wor>::value;