Skip to content

Commit c70e98c

Browse files
mizvekovmizvekov
committed
Revert "[clang] Reland: Instantiate concepts with sugared template arguments (llvm#101782)"
This reverts commit 7483711. Reverted due to both regression reported on PR and llvm#102253
1 parent 1d9e1c6 commit c70e98c

File tree

18 files changed

+59
-74
lines changed

18 files changed

+59
-74
lines changed

‎clang/docs/ReleaseNotes.rst

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -75,8 +75,8 @@ sections with improvements to Clang's support for those languages.
7575

7676
C++ Language Changes
7777
--------------------
78-
- Allow single element access of GCC vector/ext_vector_type object to be
79-
constant expression. Supports the `V.xyzw` syntax and other tidbits
78+
- Allow single element access of GCC vector/ext_vector_type object to be
79+
constant expression. Supports the `V.xyzw` syntax and other tidbits
8080
as seen in OpenCL. Selecting multiple elements is left as a future work.
8181

8282
C++17 Feature Support
@@ -166,7 +166,6 @@ Improvements to Clang's diagnostics
166166
- Clang now diagnoses undefined behavior in constant expressions more consistently. This includes invalid shifts, and signed overflow in arithmetic.
167167

168168
- -Wdangling-assignment-gsl is enabled by default.
169-
- Clang now does a better job preserving the template arguments as written when specializing concepts.
170169
- Clang now always preserves the template arguments as written used
171170
to specialize template type aliases.
172171

‎clang/include/clang/Sema/Template.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -234,8 +234,7 @@ enum class TemplateSubstitutionKind : char {
234234
/// Replaces the current 'innermost' level with the provided argument list.
235235
/// This is useful for type deduction cases where we need to get the entire
236236
/// list from the AST, but then add the deduced innermost list.
237-
void replaceInnermostTemplateArguments(Decl *AssociatedDecl, ArgList Args,
238-
bool Final = false) {
237+
void replaceInnermostTemplateArguments(Decl *AssociatedDecl, ArgList Args) {
239238
assert((!TemplateArgumentLists.empty() || NumRetainedOuterLevels) &&
240239
"Replacing in an empty list?");
241240

@@ -247,7 +246,8 @@ enum class TemplateSubstitutionKind : char {
247246
TemplateArgumentLists[0].Args = Args;
248247
} else {
249248
--NumRetainedOuterLevels;
250-
TemplateArgumentLists.push_back({{AssociatedDecl, Final}, Args});
249+
TemplateArgumentLists.push_back(
250+
{{AssociatedDecl, /*Final=*/false}, Args});
251251
}
252252
}
253253

‎clang/lib/Sema/SemaConcept.cpp

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -414,8 +414,7 @@ DiagRecursiveConstraintEval(Sema &S, llvm::FoldingSetNodeID &ID,
414414
E->Profile(ID, S.Context, /*Canonical=*/true);
415415
for (const auto &List : MLTAL)
416416
for (const auto &TemplateArg : List.Args)
417-
S.Context.getCanonicalTemplateArgument(TemplateArg)
418-
.Profile(ID, S.Context);
417+
TemplateArg.Profile(ID, S.Context);
419418

420419
// Note that we have to do this with our own collection, because there are
421420
// times where a constraint-expression check can cause us to need to evaluate
@@ -643,8 +642,8 @@ bool Sema::CheckConstraintSatisfaction(
643642
// here.
644643
llvm::SmallVector<TemplateArgument, 4> FlattenedArgs;
645644
for (auto List : TemplateArgsLists)
646-
for (const TemplateArgument &Arg : List.Args)
647-
FlattenedArgs.emplace_back(Context.getCanonicalTemplateArgument(Arg));
645+
FlattenedArgs.insert(FlattenedArgs.end(), List.Args.begin(),
646+
List.Args.end());
648647

649648
llvm::FoldingSetNodeID ID;
650649
ConstraintSatisfaction::Profile(ID, Context, Template, FlattenedArgs);
@@ -828,8 +827,6 @@ Sema::SetupConstraintCheckingTemplateArgumentsAndScope(
828827
/*RelativeToPrimary=*/true,
829828
/*Pattern=*/nullptr,
830829
/*ForConstraintInstantiation=*/true);
831-
if (TemplateArgs)
832-
MLTAL.replaceInnermostTemplateArguments(FD, *TemplateArgs, /*Final=*/true);
833830
if (SetupConstraintScope(FD, TemplateArgs, MLTAL, Scope))
834831
return std::nullopt;
835832

@@ -1483,7 +1480,7 @@ static bool substituteParameterMappings(Sema &S, NormalizedConstraint &N,
14831480
const ConceptSpecializationExpr *CSE) {
14841481
MultiLevelTemplateArgumentList MLTAL = S.getTemplateInstantiationArgs(
14851482
CSE->getNamedConcept(), CSE->getNamedConcept()->getLexicalDeclContext(),
1486-
/*Final=*/true, CSE->getTemplateArguments(),
1483+
/*Final=*/false, CSE->getTemplateArguments(),
14871484
/*RelativeToPrimary=*/true,
14881485
/*Pattern=*/nullptr,
14891486
/*ForConstraintInstantiation=*/true);

‎clang/lib/Sema/SemaExprCXX.cpp

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9330,13 +9330,14 @@ Sema::BuildExprRequirement(
93309330
// be satisfied.
93319331
TemplateParameterList *TPL =
93329332
ReturnTypeRequirement.getTypeConstraintTemplateParameterList();
9333-
QualType MatchedType = Context.getReferenceQualifiedType(E);
9333+
QualType MatchedType =
9334+
Context.getReferenceQualifiedType(E).getCanonicalType();
93349335
llvm::SmallVector<TemplateArgument, 1> Args;
93359336
Args.push_back(TemplateArgument(MatchedType));
93369337

93379338
auto *Param = cast<TemplateTypeParmDecl>(TPL->getParam(0));
93389339

9339-
MultiLevelTemplateArgumentList MLTAL(Param, Args, /*Final=*/true);
9340+
MultiLevelTemplateArgumentList MLTAL(Param, Args, /*Final=*/false);
93409341
MLTAL.addOuterRetainedLevels(TPL->getDepth());
93419342
const TypeConstraint *TC = Param->getTypeConstraint();
93429343
assert(TC && "Type Constraint cannot be null here");

‎clang/lib/Sema/SemaTemplate.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4358,13 +4358,13 @@ Sema::CheckConceptTemplateId(const CXXScopeSpec &SS,
43584358

43594359
auto *CSD = ImplicitConceptSpecializationDecl::Create(
43604360
Context, NamedConcept->getDeclContext(), NamedConcept->getLocation(),
4361-
SugaredConverted);
4361+
CanonicalConverted);
43624362
ConstraintSatisfaction Satisfaction;
43634363
bool AreArgsDependent =
43644364
TemplateSpecializationType::anyDependentTemplateArguments(
4365-
*TemplateArgs, SugaredConverted);
4366-
MultiLevelTemplateArgumentList MLTAL(NamedConcept, SugaredConverted,
4367-
/*Final=*/true);
4365+
*TemplateArgs, CanonicalConverted);
4366+
MultiLevelTemplateArgumentList MLTAL(NamedConcept, CanonicalConverted,
4367+
/*Final=*/false);
43684368
LocalInstantiationScope Scope(*this);
43694369

43704370
EnterExpressionEvaluationContext EECtx{
@@ -5583,7 +5583,7 @@ bool Sema::CheckTemplateArgumentList(
55835583
CXXThisScopeRAII(*this, RD, ThisQuals, RD != nullptr);
55845584

55855585
MultiLevelTemplateArgumentList MLTAL = getTemplateInstantiationArgs(
5586-
Template, NewContext, /*Final=*/true, SugaredConverted,
5586+
Template, NewContext, /*Final=*/false, CanonicalConverted,
55875587
/*RelativeToPrimary=*/true,
55885588
/*Pattern=*/nullptr,
55895589
/*ForConceptInstantiation=*/true);

‎clang/lib/Sema/SemaTemplateDeduction.cpp

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3078,7 +3078,7 @@ CheckDeducedArgumentConstraints(Sema &S, TemplateDeclT *Template,
30783078
// If we don't need to replace the deduced template arguments,
30793079
// we can add them immediately as the inner-most argument list.
30803080
if (!DeducedArgsNeedReplacement(Template))
3081-
Innermost = SugaredDeducedArgs;
3081+
Innermost = CanonicalDeducedArgs;
30823082

30833083
MultiLevelTemplateArgumentList MLTAL = S.getTemplateInstantiationArgs(
30843084
Template, Template->getDeclContext(), /*Final=*/false, Innermost,
@@ -3090,7 +3090,7 @@ CheckDeducedArgumentConstraints(Sema &S, TemplateDeclT *Template,
30903090
// not class-scope explicit specialization, so replace with Deduced Args
30913091
// instead of adding to inner-most.
30923092
if (!Innermost)
3093-
MLTAL.replaceInnermostTemplateArguments(Template, SugaredDeducedArgs);
3093+
MLTAL.replaceInnermostTemplateArguments(Template, CanonicalDeducedArgs);
30943094

30953095
if (S.CheckConstraintSatisfaction(Template, AssociatedConstraints, MLTAL,
30963096
Info.getLocation(),
@@ -3913,13 +3913,13 @@ TemplateDeductionResult Sema::FinishTemplateArgumentDeduction(
39133913
(CanonicalBuilder.size() ==
39143914
FunctionTemplate->getTemplateParameters()->size())) {
39153915
if (CheckInstantiatedFunctionTemplateConstraints(
3916-
Info.getLocation(), Specialization, SugaredBuilder,
3916+
Info.getLocation(), Specialization, CanonicalBuilder,
39173917
Info.AssociatedConstraintsSatisfaction))
39183918
return TemplateDeductionResult::MiscellaneousDeductionFailure;
39193919

39203920
if (!Info.AssociatedConstraintsSatisfaction.IsSatisfied) {
3921-
Info.reset(TemplateArgumentList::CreateCopy(Context, SugaredBuilder),
3922-
Info.takeCanonical());
3921+
Info.reset(Info.takeSugared(),
3922+
TemplateArgumentList::CreateCopy(Context, CanonicalBuilder));
39233923
return TemplateDeductionResult::ConstraintsNotSatisfied;
39243924
}
39253925
}
@@ -4993,8 +4993,8 @@ static bool CheckDeducedPlaceholderConstraints(Sema &S, const AutoType &Type,
49934993
/*PartialTemplateArgs=*/false,
49944994
SugaredConverted, CanonicalConverted))
49954995
return true;
4996-
MultiLevelTemplateArgumentList MLTAL(Concept, SugaredConverted,
4997-
/*Final=*/true);
4996+
MultiLevelTemplateArgumentList MLTAL(Concept, CanonicalConverted,
4997+
/*Final=*/false);
49984998
// Build up an EvaluationContext with an ImplicitConceptSpecializationDecl so
49994999
// that the template arguments of the constraint can be preserved. For
50005000
// example:
@@ -5008,7 +5008,7 @@ static bool CheckDeducedPlaceholderConstraints(Sema &S, const AutoType &Type,
50085008
S, Sema::ExpressionEvaluationContext::Unevaluated,
50095009
ImplicitConceptSpecializationDecl::Create(
50105010
S.getASTContext(), Concept->getDeclContext(), Concept->getLocation(),
5011-
SugaredConverted));
5011+
CanonicalConverted));
50125012
if (S.CheckConstraintSatisfaction(Concept, {Concept->getConstraintExpr()},
50135013
MLTAL, TypeLoc.getLocalSourceRange(),
50145014
Satisfaction))

‎clang/lib/Serialization/ASTReaderDecl.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2391,7 +2391,7 @@ void ASTDeclReader::VisitImplicitConceptSpecializationDecl(
23912391
VisitDecl(D);
23922392
llvm::SmallVector<TemplateArgument, 4> Args;
23932393
for (unsigned I = 0; I < D->NumTemplateArgs; ++I)
2394-
Args.push_back(Record.readTemplateArgument(/*Canonicalize=*/false));
2394+
Args.push_back(Record.readTemplateArgument(/*Canonicalize=*/true));
23952395
D->setTemplateArguments(Args);
23962396
}
23972397

‎clang/test/AST/ast-dump-concepts.cpp

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -20,9 +20,8 @@ struct Foo {
2020
// CHECK: TemplateTypeParmDecl {{.*}} referenced Concept {{.*}} 'binary_concept'
2121
// CHECK-NEXT: `-ConceptSpecializationExpr {{.*}} <col:13, col:31> 'bool' Concept {{.*}} 'binary_concept'
2222
// CHECK-NEXT: |-ImplicitConceptSpecializationDecl {{.*}} <line:13:9> col:9
23-
// CHECK-NEXT: | |-TemplateArgument type 'R'
24-
// CHECK-NEXT: | | `-TemplateTypeParmType {{.*}} 'R' dependent {{.*}}depth 1 index 0
25-
// CHECK-NEXT: | | `-TemplateTypeParm {{.*}} 'R'
23+
// CHECK-NEXT: | |-TemplateArgument type 'type-parameter-1-0'
24+
// CHECK-NEXT: | | `-TemplateTypeParmType {{.*}} 'type-parameter-1-0' dependent {{.*}}depth 1 index 0
2625
// CHECK-NEXT: | `-TemplateArgument type 'int'
2726
// CHECK-NEXT: | `-BuiltinType {{.*}} 'int'
2827
// CHECK-NEXT: |-TemplateArgument {{.*}} type 'R'
@@ -36,9 +35,8 @@ struct Foo {
3635
// CHECK: TemplateTypeParmDecl {{.*}} referenced Concept {{.*}} 'unary_concept'
3736
// CHECK-NEXT: `-ConceptSpecializationExpr {{.*}} <col:13> 'bool'
3837
// CHECK-NEXT: |-ImplicitConceptSpecializationDecl {{.*}} <line:10:9> col:9
39-
// CHECK-NEXT: | `-TemplateArgument type 'R'
40-
// CHECK-NEXT: | `-TemplateTypeParmType {{.*}} 'R' dependent {{.*}}depth 1 index 0
41-
// CHECK-NEXT: | `-TemplateTypeParm {{.*}} 'R'
38+
// CHECK-NEXT: | `-TemplateArgument type 'type-parameter-1-0'
39+
// CHECK-NEXT: | `-TemplateTypeParmType {{.*}} 'type-parameter-1-0' dependent {{.*}}depth 1 index 0
4240
template <unary_concept R>
4341
Foo(R);
4442

‎clang/test/CXX/expr/expr.prim/expr.prim.req/compound-requirement.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -35,14 +35,14 @@ using r2i2 = r2<A>; // expected-error{{constraints not satisfied for class templ
3535
using r2i3 = r2<D>;
3636
using r2i4 = r2<const D>; // expected-error{{constraints not satisfied for class template 'r2' [with T = const D]}}
3737

38-
template<typename T> requires requires { { sizeof(T) }; } // expected-note{{because 'sizeof(T)' would be invalid: invalid application of 'sizeof' to an incomplete type 'void'}} expected-note{{because 'sizeof(T)' would be invalid: invalid application of 'sizeof' to an incomplete type 'class nonexistent'}}
38+
template<typename T> requires requires { { sizeof(T) }; } // expected-note{{because 'sizeof(T)' would be invalid: invalid application of 'sizeof' to an incomplete type 'void'}} expected-note{{because 'sizeof(T)' would be invalid: invalid application of 'sizeof' to an incomplete type 'nonexistent'}}
3939
struct r3 {};
4040

4141
using r3i1 = r3<int>;
4242
using r3i2 = r3<A>;
4343
using r3i3 = r3<A &>;
4444
using r3i4 = r3<void>; // expected-error{{constraints not satisfied for class template 'r3' [with T = void]}}
45-
using r3i4 = r3<class nonexistent>; // expected-error{{constraints not satisfied for class template 'r3' [with T = class nonexistent]}}
45+
using r3i4 = r3<class nonexistent>; // expected-error{{constraints not satisfied for class template 'r3' [with T = nonexistent]}}
4646

4747
// Non-dependent expressions
4848

@@ -149,7 +149,7 @@ namespace std_example {
149149
template<typename T> constexpr bool is_same_v<T, T> = true;
150150

151151
template<typename T, typename U> concept same_as = is_same_v<T, U>;
152-
// expected-note@-1 {{because 'is_same_v<int, typename T2::inner>' evaluated to false}}
152+
// expected-note@-1 {{because 'is_same_v<int, int *>' evaluated to false}}
153153

154154
static_assert(C1<int>);
155155
static_assert(C1<int*>);
@@ -173,9 +173,9 @@ namespace std_example {
173173
int operator *() { return 0; }
174174
};
175175
static_assert(C2<T1>);
176-
template<C2 T> struct C2_check {}; // expected-note{{because 'int' does not satisfy 'C2'}} expected-note{{because 'T2' does not satisfy 'C2'}}
176+
template<C2 T> struct C2_check {}; // expected-note{{because 'int' does not satisfy 'C2'}} expected-note{{because 'std_example::T2' does not satisfy 'C2'}}
177177
using c2c1 = C2_check<int>; // expected-error{{constraints not satisfied for class template 'C2_check' [with T = int]}}
178-
using c2c2 = C2_check<T2>; // expected-error{{constraints not satisfied for class template 'C2_check' [with T = T2]}}
178+
using c2c2 = C2_check<T2>; // expected-error{{constraints not satisfied for class template 'C2_check' [with T = std_example::T2]}}
179179

180180
template<typename T>
181181
void g(T t) noexcept(sizeof(T) == 1) {}

‎clang/test/CXX/expr/expr.prim/expr.prim.req/nested-requirement.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ using r4i = X<void>::r4<int>; // expected-error{{constraints not satisfied for c
2727

2828
// C++ [expr.prim.req.nested] Examples
2929
namespace std_example {
30-
template<typename U> concept C1 = sizeof(U) == 1; // expected-note{{because 'sizeof(decltype(+t)) == 1' (4 == 1) evaluated to false}}
30+
template<typename U> concept C1 = sizeof(U) == 1; // expected-note{{because 'sizeof(int) == 1' (4 == 1) evaluated to false}}
3131
template<typename T> concept D =
3232
requires (T t) {
3333
requires C1<decltype (+t)>; // expected-note{{because 'decltype(+t)' (aka 'int') does not satisfy 'C1'}}

‎clang/test/CXX/expr/expr.prim/expr.prim.req/simple-requirement.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -39,14 +39,14 @@ using r2i4 = r2<const D>; // expected-error{{constraints not satisfied for class
3939

4040
template<typename T> requires requires { sizeof(T); }
4141
// expected-note@-1{{because 'sizeof(T)' would be invalid: invalid application of 'sizeof' to an incomplete type 'void'}}
42-
// expected-note@-2{{because 'sizeof(T)' would be invalid: invalid application of 'sizeof' to an incomplete type 'class nonexistent'}}
42+
// expected-note@-2{{because 'sizeof(T)' would be invalid: invalid application of 'sizeof' to an incomplete type 'nonexistent'}}
4343
struct r3 {};
4444

4545
using r3i1 = r3<int>;
4646
using r3i2 = r3<A>;
4747
using r3i3 = r3<A &>;
4848
using r3i4 = r3<void>; // expected-error{{constraints not satisfied for class template 'r3' [with T = void]}}
49-
using r3i4 = r3<class nonexistent>; // expected-error{{constraints not satisfied for class template 'r3' [with T = class nonexistent]}}
49+
using r3i4 = r3<class nonexistent>; // expected-error{{constraints not satisfied for class template 'r3' [with T = nonexistent]}}
5050

5151
template<typename T> requires requires (T t) { 0; "a"; (void)'a'; }
5252
struct r4 {};

‎clang/test/CXX/expr/expr.prim/expr.prim.req/type-requirement.cpp

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -182,14 +182,14 @@ namespace std_example {
182182
static_assert(C1<has_inner_and_type> && C2<has_inner_and_type> && C3<has_inner_and_type>);
183183
template<C1 T> struct C1_check {};
184184
// expected-note@-1 {{because 'int' does not satisfy 'C1'}}
185-
// expected-note@-2 {{because 'has_type' does not satisfy 'C1'}}
185+
// expected-note@-2 {{because 'std_example::has_type' does not satisfy 'C1'}}
186186
template<C2 T> struct C2_check {};
187-
// expected-note@-1 {{because 'has_inner' does not satisfy 'C2'}}
187+
// expected-note@-1 {{because 'std_example::has_inner' does not satisfy 'C2'}}
188188
template<C3 T> struct C3_check {};
189189
// expected-note@-1 {{because 'void' does not satisfy 'C3'}}
190190
using c1 = C1_check<int>; // expected-error{{constraints not satisfied for class template 'C1_check' [with T = int]}}
191-
using c2 = C1_check<has_type>; // expected-error{{constraints not satisfied for class template 'C1_check' [with T = has_type]}}
192-
using c3 = C2_check<has_inner>; // expected-error{{constraints not satisfied for class template 'C2_check' [with T = has_inner]}}
191+
using c2 = C1_check<has_type>; // expected-error{{constraints not satisfied for class template 'C1_check' [with T = std_example::has_type]}}
192+
using c3 = C2_check<has_inner>; // expected-error{{constraints not satisfied for class template 'C2_check' [with T = std_example::has_inner]}}
193193
using c4 = C3_check<void>; // expected-error{{constraints not satisfied for class template 'C3_check' [with T = void]}}
194194
}
195195

@@ -199,10 +199,10 @@ template <typename T> concept C = requires { requires requires { T::a; }; };
199199
// expected-note@-1 {{because 'T::a' would be invalid: no member named 'a' in 'PR48656::T1'}}
200200

201201
template <C...> struct A {};
202-
// expected-note@-1 {{because 'T1' does not satisfy 'C'}}
202+
// expected-note@-1 {{because 'PR48656::T1' does not satisfy 'C'}}
203203

204204
struct T1 {};
205-
template struct A<T1>; // expected-error {{constraints not satisfied for class template 'A' [with $0 = <T1>]}}
205+
template struct A<T1>; // expected-error {{constraints not satisfied for class template 'A' [with $0 = <PR48656::T1>]}}
206206

207207
struct T2 { static constexpr bool a = false; };
208208
template struct A<T2>;

‎clang/test/CXX/temp/temp.constr/temp.constr.normal/p1.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ template<typename T> requires Bar<T> && true struct S<T> { };
88

99
template<typename T> concept True2 = sizeof(T) >= 0;
1010
template<typename T> concept Foo2 = True2<T*>;
11-
// expected-error@-1{{'type name' declared as a pointer to a reference of type 'T &'}}
11+
// expected-error@-1{{'type name' declared as a pointer to a reference of type 'type-parameter-0-0 &'}}
1212
template<typename T> concept Bar2 = Foo2<T&>;
1313
// expected-note@-1{{while substituting into concept arguments here; substitution failures not allowed in concept arguments}}
1414
template<typename T> requires Bar2<T> struct S2 { };

‎clang/test/CXX/temp/temp.param/p10-2a.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -94,8 +94,8 @@ concept OneOf = (is_same_v<T, Ts> || ...);
9494
// expected-note@-5 {{and 'is_same_v<short, char>' evaluated to false}}
9595
// expected-note@-6 3{{because 'is_same_v<int, char[1]>' evaluated to false}}
9696
// expected-note@-7 3{{and 'is_same_v<int, char[2]>' evaluated to false}}
97-
// expected-note@-8 2{{because 'is_same_v<decltype(nullptr), char>' evaluated to false}}
98-
// expected-note@-9 2{{and 'is_same_v<decltype(nullptr), int>' evaluated to false}}
97+
// expected-note@-8 2{{because 'is_same_v<std::nullptr_t, char>' evaluated to false}}
98+
// expected-note@-9 2{{and 'is_same_v<std::nullptr_t, int>' evaluated to false}}
9999

100100
template<OneOf<char[1], char[2]> T, OneOf<int, long, char> U>
101101
// expected-note@-1 2{{because 'OneOf<char, char[1], char[2]>' evaluated to false}}

0 commit comments

Comments
 (0)