fn should_prevent_generalization(constraint: &Type) -> bool