builder.addOuterVarPrecondition(
outer, getTypeAfterFwd(outer, entryEnv, exitEnv));
}
builder.addNominalType(declType.getNominalType());
builder.addReceiverType(declType.getReceiverType());
JSType declRetType = declType.getReturnType();
JSType actualRetType = envGetType(exitEnv, RETVAL_ID);
if (declRetType == null) {
builder.addRetType(actualRetType);