https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97014
Bug ID: 97014
Summary: Class NTTPs not demangled in the compilation error
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: mateusz.pusz at gmail dot com
Target Milestone: ---
The following code:
```
struct ratio {
int num;
int den;
};
template<ratio R>
struct X {
static constexpr auto ratio = R;
};
template<ratio R>
concept positive = R.num > 0 && R.den > 0;
template<typename T>
concept ratio_positive = positive<T::ratio>;
void foo(ratio_positive auto x) {}
void boo()
{
foo(X<ratio(-1, 2)>());
}
```
produces the following error with `::_ZTAXtl5ratioLin1ELi2EEE` not demangled to
`ratio{-1, 2}` in many places:
```
<source>: In function 'void boo()':
<source>:21:24: error: no matching function for call to 'foo(X<ratio{-1, 2}>)'
21 | foo(X<ratio(-1, 2)>());
| ^
<source>:17:6: note: candidate: 'template<class auto:1> requires
ratio_positive<auto:1> void foo(auto:1)'
17 | void foo(ratio_positive auto x) {}
| ^~~
<source>:17:6: note: template argument deduction/substitution failed:
<source>:17:6: note: constraints not satisfied
<source>: In substitution of 'template<class auto:1> requires
ratio_positive<auto:1> void foo(auto:1) [with auto:1 = X<ratio{-1, 2}>]':
<source>:21:24: required from here
<source>:12:9: required for the satisfaction of 'positive<T::ratio>' [with T
= X<::_ZTAXtl5ratioLin1ELi2EEE>]
<source>:15:9: required for the satisfaction of 'ratio_positive<auto:1>'
[with auto:1 = X<::_ZTAXtl5ratioLin1ELi2EEE>]
<source>:12:26: note: the expression '((const ratio)R).num > 0 [with R =
X<::_ZTAXtl5ratioLin1ELi2EEE>::ratio]' evaluated to 'false'
12 | concept positive = R.num > 0 && R.den > 0;
| ~~~~~~^~~
Compiler returned: 1
```
