TypeInference.Ctx.to_signature shouldn't decide whether or not to generalize vars