Pass failure in assignTypeVars out of inferenceStep