mizvekov added inline comments.
================
Comment at: clang/include/clang/Sema/SemaConcept.h:53-62
+ if (const auto *SubstB =
+ ArgB.getAsType()->getAs<SubstTemplateTypeParmType>()) {
+ QualType ReplacementA = SubstA->getReplacementType();
+ QualType ReplacementB = SubstB->getReplacementType();
+ if (ReplacementA->isDecltypeType() &&
+ ReplacementB->isDecltypeType()) {
+ assert(ReplacementA->isDependentType() &&
----------------
Why didn't we manage to get rid of this workaround yet?
I thought the changes to canonical AutoType were part of this, or are we still
missing something?
A dependent DecltypeType is uniqued and has a canonical type by the way, this
is implemented through the `DependentDecltypeType` subclass.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D128750/new/
https://reviews.llvm.org/D128750
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
