String whatExpected = ((expectedRetType == null) ?
"some value" :
"" + expectedRetType
);
TypeChecker.getInstance().reportTypeError(argument, "function should return " + whatExpected, "jetbrains.mps.baseLanguage.helgins", "1179436928064");
<BUG>}
if(leastCommonSupertype == null) {
TypeChecker.getInstance().getRuntimeSupport().givetype(expectedRetType, argument, "jetbrains.mps.baseLanguage.helgins", "1179436928073");
} else
{
TypeChecker.getInstance().getRuntimeSupport().givetype(leastCommonSupertype, argument, "jetbrains.mps.baseLanguage.helgins", "1179436928081");</BUG>
}

String whatExpected = ((expectedRetType == null) ?
"some value" :
"" + expectedRetType
);
TypeChecker.getInstance().reportTypeError(argument, "function should return " + whatExpected, "jetbrains.mps.baseLanguage.helgins", "1179436928064");
