Skip to content

getTypeSourceInfo()->getType() and getType() are inconsistent for a constrained variable #166957

@tJener

Description

@tJener
#include <concepts>

void find(auto value) {
  std::integral auto var = value;
}

Calling getTypeSourceInfo()->getType() and getType() result in two unique AutoTypes. If I have something like

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'

Metadata

Metadata

Assignees

No one assigned

    Labels

    clang:frontendLanguage frontend issues, e.g. anything involving "Sema"conceptsC++20 concepts

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions