import jetbrains.mps.smodel.SModelUtil_new;
public class typeOf_ConceptFunction_InferenceRule implements InferenceRule_Runtime {
public typeOf_ConceptFunction_InferenceRule() {
}
public void applyRule(final SNode argument) {
<BUG>TypeChecker.getInstance().getRuntimeSupport().check(SLinkOperations.getTarget(argument, "body", true), "jetbrains.mps.baseLanguage.helgins", "1178655253666");</BUG>
SNode expectedRetType = ConceptFunction_Behavior.call_getExpectedReturnType_1178571276073(argument);
boolean noReturnExpected = ((expectedRetType == null) || TypeChecker.getInstance().getSubtypingManager().isSubtype(expectedRetType, new QuotationClass_76().createNode()));
if(SConceptOperations.isExactly(SNodeOperations.getConceptDeclaration(expectedRetType), "jetbrains.mps.baseLanguage.structure.WildCardType")) {
expectedRetType = null;
}
<BUG>SNode leastCommonSupertype = null;</BUG>
Iterable<SNode> returnStatements = RulesFunctions_BaseLanguage.collectReturnStatements(SLinkOperations.getTarget(argument, "body", true));

import jetbrains.mps.smodel.SModelUtil_new;
public class typeOf_ConceptFunction_InferenceRule implements InferenceRule_Runtime {
public typeOf_ConceptFunction_InferenceRule() {
}
public void applyRule(final SNode argument) {
SNode expectedRetType = ConceptFunction_Behavior.call_getExpectedReturnType_1178571276073(argument);
boolean noReturnExpected = ((expectedRetType == null) || TypeChecker.getInstance().getSubtypingManager().isSubtype(expectedRetType, new QuotationClass_76().createNode()));
if(SConceptOperations.isExactly(SNodeOperations.getConceptDeclaration(expectedRetType), "jetbrains.mps.baseLanguage.structure.WildCardType")) {
expectedRetType = null;
