}
SNode t = ((SNode)typeCheckingContext.getEquationManager().getRepresentator(matrix));</BUG>
{
SNode _nodeToCheck_1029348928467 = nodeToCheck;
BaseIntentionProvider intentionProvider = null;
<BUG>typeCheckingContext.createEquation(typeCheckingContext.typeOf(SLinkOperations.getTarget(nodeToCheck, "element", true), "r:00000000-0000-4000-0000-011c89590452(jetbrains.mps.samples.matrixLanguage.typesystem)", "1210241241539", true), SLinkOperations.getTarget(t, "scalarType", true), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c89590452(jetbrains.mps.samples.matrixLanguage.typesystem)", "1210241241537", intentionProvider);
}
}
}, "r:00000000-0000-4000-0000-011c89590452(jetbrains.mps.samples.matrixLanguage.typesystem)", "1210240199916");
}</BUG>
}

}
public void applyRule(final SNode nodeToCheck, final TypeCheckingContext typeCheckingContext) {
final SNode T_typevar_1225547192044 = typeCheckingContext.createNewRuntimeTypesVariable();
{
SNode _nodeToCheck_1029348928467 = nodeToCheck;
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createEquation(typeCheckingContext.typeOf(SLinkOperations.getTarget(nodeToCheck, "matrix", true), "r:00000000-0000-4000-0000-011c89590452(jetbrains.mps.samples.matrixLanguage.typesystem)", "1225547112334", true), new _Quotations.QuotationClass_12().createNode(typeCheckingContext.getEquationManager().getRepresentator(T_typevar_1225547192044), typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c89590452(jetbrains.mps.samples.matrixLanguage.typesystem)", "1225547123338", intentionProvider);
}
{
SNode _nodeToCheck_1029348928467 = nodeToCheck;
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createEquation(typeCheckingContext.typeOf(SLinkOperations.getTarget(nodeToCheck, "element", true), "r:00000000-0000-4000-0000-011c89590452(jetbrains.mps.samples.matrixLanguage.typesystem)", "1225547230060", true), typeCheckingContext.getEquationManager().getRepresentator(T_typevar_1225547192044), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c89590452(jetbrains.mps.samples.matrixLanguage.typesystem)", "1225547241737", intentionProvider);
}
}
