| Issue |
166957
|
| Summary |
`getTypeSourceInfo()->getType()` and `getType()` are inconsistent for a constrained variable
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
tJener
|
```c++
#include <concepts>
void find(auto value) {
std::integral auto var = value;
}
```
Calling `getTypeSourceInfo()->getType()` and `getType()` result in two unique `AutoType`s. If I have something like
```c++
v.getTypeSourceInfo()->getType()->dump();
v.getType()->dump();
```
the output is
```
AutoType 0x141b92c00 'integral auto' undeduced
`-Concept 0x141995a88 'integral'
AutoType 0x141b92d30 'integral auto' dependent
`-Concept 0x141995a88 'integral'
```
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
