Fix main by using infer_expression

dhruvmanila · dhruvmanila · commit 384b697e962b · 2025-11-06T11:51:08.000-05:00
diff --git a/crates/ty_python_semantic/src/types/infer/builder.rs b/crates/ty_python_semantic/src/types/infer/builder.rs
@@ -4895,7 +4895,7 @@ impl<'db, 'ast> TypeInferenceBuilder<'db, 'ast> {
             self.infer_type_expression(&bound.value);
         }
         if let Some(default) = arguments.find_keyword("default") {
-            let func_ty = self.get_or_infer_expression(func, TypeContext::default());
+            let func_ty = self.infer_expression(func, TypeContext::default());
             if func_ty.as_class_literal().is_some_and(|class_literal| {
                 class_literal.is_known(self.db(), KnownClass::ParamSpec)
             }) {

Original file line number	Diff line number	Diff line change
`@@ -4895,7 +4895,7 @@ impl<'db, 'ast> TypeInferenceBuilder<'db, 'ast> {`
`4895`	`4895`	`self.infer_type_expression(&bound.value);`
`4896`	`4896`	`}`
`4897`	`4897`	`if let Some(default) = arguments.find_keyword("default") {`
`4898`		`- let func_ty = self.get_or_infer_expression(func, TypeContext::default());`
	`4898`	`+ let func_ty = self.infer_expression(func, TypeContext::default());`
`4899`	`4899`	`if func_ty.as_class_literal().is_some_and(\|class_literal\| {`
`4900`	`4900`	`class_literal.is_known(self.db(), KnownClass::ParamSpec)`
`4901`	`4901`	`}) {`