}
pt = pt_iterator.next();
p = p_iterator.next();</BUG>
{
SNode _nodeToCheck_1029348928467 = invoke;
<BUG>BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createLessThanInequation(typeCheckingContext.typeOf(p, "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1202920138888", true), pt, _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1202920135673", false, 0, intentionProvider);
}
}
}
}
}, "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1199567113016");</BUG>
}

}
public void applyRule(final SNode invoke, final TypeCheckingContext typeCheckingContext) {
List<SNode> ptypes = new ArrayList<SNode>();
for(SNode p : SLinkOperations.getTargets(invoke, "parameter", true)) {
ptypes.add(typeCheckingContext.typeOf(p, "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1225470166988", true));
}
final SNode ret_typevar_1225470166995 = typeCheckingContext.createNewRuntimeTypesVariable();
{
SNode _nodeToCheck_1029348928467 = invoke;
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createEquation(typeCheckingContext.typeOf(invoke, "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1225470167000", true), typeCheckingContext.getEquationManager().getRepresentator(ret_typevar_1225470166995), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1225470166996", intentionProvider);
