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
|
// RUN: %clang_cc1 -fsyntax-only %s -std=c++26 -verify=expected,notree
// RUN: %clang_cc1 -fsyntax-only %s -std=c++26 -fno-elide-type -verify=expected,notree
// RUN: %clang_cc1 -fsyntax-only %s -std=c++26 -fdiagnostics-show-template-tree -verify=expected,tree
// RUN: %clang_cc1 -fsyntax-only %s -std=c++26 -fno-elide-type -fdiagnostics-show-template-tree -verify=expected,tree
namespace GH93068 {
int n[2];
template <auto> struct A {}; // #A
namespace t1 {
// notree-error@#1 {{no viable conversion from 'A<0>' to 'A<n + 1>'}}
/* tree-error@#1 {{no viable conversion
A<
[0 != n + 1]>}}*/
A<n + 1> v1 = A<0>(); // #1
// expected-note@#A {{no known conversion from 'A<0>' to 'const A<&n[1]> &' for 1st argument}}
// expected-note@#A {{no known conversion from 'A<0>' to 'A<&n[1]> &&' for 1st argument}}
// notree-error@#2 {{no viable conversion from 'A<n>' to 'A<n + 1>'}}
/* tree-error@#2 {{no viable conversion
A<
[n != n + 1]>}}*/
A<n + 1> v2 = A<n>(); // #2
// expected-note@#A {{no known conversion from 'A<n>' to 'const A<&n[1]> &' for 1st argument}}
// expected-note@#A {{no known conversion from 'A<n>' to 'A<&n[1]> &&' for 1st argument}}
} // namespace t1
namespace t2 {
A<n> v1;
A<n + 1> v2;
// notree-note@#A {{no known conversion from 'A<n>' to 'const A<(no argument)>' for 1st argument}}
// notree-note@#A {{no known conversion from 'A<n>' to 'A<(no argument)>' for 1st argument}}
/* tree-note@#A {{no known conversion from argument type to parameter type for 1st argument
[(no qualifiers) != const] A<
[n != (no argument)]>}}*/
/* tree-note@#A {{no known conversion from argument type to parameter type for 1st argument
A<
[n != (no argument)]>}}*/
void f() { v2 = v1; } // expected-error {{no viable overloaded '='}}
} // namespace t2
} // namespace GH93068
|
