================
@@ -256,6 +256,21 @@ QualType HeuristicResolverImpl::simplifyType(QualType
Type, const Expr *E,
}
}
}
+ // check if member expr is in the context of an explicit object method
+ if (!T.Type.isNull() &&
+ (T.Type->isUndeducedAutoType() || T.Type->isTemplateTypeParmType())) {
+ if (auto *DRE = dyn_cast_if_present<DeclRefExpr>(T.E)) {
+ auto *PrDecl = dyn_cast_if_present<ParmVarDecl>(DRE->getDecl());
+ // Then the type of 'this' should be type of the record the method is
----------------
HighCommander4 wrote:
(with the above change, this comment can be dropped)
https://github.com/llvm/llvm-project/pull/155143
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
