Merge pull request #46 from zyn0217/fix-access-checking-after-normalization

Fix the access checking after normalization

Author: cor3ntin

clang/lib/Sema/SemaConcept.cpp

@@ -563,6 +563,10 @@ static bool calculateConstraintSatisfaction(
     ConstraintSatisfaction &Satisfaction,
     UnsignedOrNone PackSubstitutionIndex) {
 
+  Sema::ContextRAII CurContext(
+      S, Constraint.getConceptId()->getNamedConcept()->getDeclContext(),
+      /*NewThisContext=*/false);
+
   llvm::SmallVector<TemplateArgument> SubstitutedOuterMost;
   std::optional<MultiLevelTemplateArgumentList> SubstitutedArgs =
       SubstitutionInTemplateArguments(S, Constraint, Template, MLTAL,

clang/lib/Sema/SemaTemplate.cpp

@@ -4756,9 +4756,6 @@ ExprResult Sema::CheckConceptTemplateId(
     EnterExpressionEvaluationContext EECtx{
       *this, ExpressionEvaluationContext::Unevaluated, CSD};
 
-    ContextRAII CurContext(*this, CSD->getDeclContext(),
-                         /*NewThisContext=*/false);
-
     Error = CheckConstraintSatisfaction(
         NamedConcept, AssociatedConstraint(NamedConcept->getConstraintExpr()),
         MLTAL,