We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e8efaaa commit 305fa94Copy full SHA for 305fa94
lib/Sema/TypeCheckEffects.cpp
@@ -283,7 +283,7 @@ class AbstractFunction {
283
return AFD->getInterfaceType();
284
}
285
case Kind::Closure: return getClosure()->getType();
286
- case Kind::Parameter: return getParameter()->getType();
+ case Kind::Parameter: return getParameter()->getInterfaceType();
287
288
llvm_unreachable("bad kind");
289
@@ -846,7 +846,7 @@ class ApplyClassifier {
846
Classification classifyParameterBody(ParamDecl *param,
847
PotentialEffectReason reason,
848
EffectKind kind) {
849
- assert(param->getType()
+ assert(param->getInterfaceType()
850
->lookThroughAllOptionalTypes()
851
->castTo<AnyFunctionType>()
852
->hasEffect(kind));
0 commit comments