void check_resolve()
{
checkResolveRemovedPrims();
check_afterEveryPass();
check_afterNormalization();
checkReturnTypesHaveRefTypes();
checkAutoCopyMap();
}
// Checks that should remain true after the functionResolution pass is complete.
static void check_afterResolution()
{
checkReturnTypesHaveRefTypes();
if (fVerify)
{
checkTaskRemovedPrims();
checkResolveRemovedPrims();
// Disabled for now because user warnings should not be logged multiple times:
// checkResolved();
// Disabled for now because it does not hold when named externs are present.
// See test/extern/hilde/namedExtern.chpl.
// checkNoUnresolveds();
checkFormalActualBaseTypesMatch();
checkRetTypeMatchesRetVarType();
checkAutoCopyMap();
}
}