[CS] Sink closure attribute/param checking into applySolution

The cases where CSApply fails should be fairly
limited these days, and there doesn't seem to be
any reason we shouldn't run these on failure anyway.
This commit is contained in:
Hamish Knight
2024-09-17 12:35:11 +01:00
parent 930dc18eb7
commit 1f79cbdca1
2 changed files with 4 additions and 7 deletions

View File

@@ -2573,6 +2573,9 @@ ConstraintSystem::applySolution(AnyFunctionRef fn,
}
applySolutionToClosurePropertyWrappers(closure, solution);
TypeChecker::checkClosureAttributes(closure);
TypeChecker::checkParameterList(closure->getParameters(), closure);
}
// Enter the context of the function before performing any additional