Merge aec1ea2 into 5da0719

charliermarsh · web-flow · commit 22e87e722359 · 2026-04-25T12:26:38.000-04:00
diff --git a/crates/ty_python_semantic/src/types/call/arguments.rs b/crates/ty_python_semantic/src/types/call/arguments.rs
@@ -73,7 +73,7 @@ impl<'db> CallArgumentTypes<'db> {
             .types
             .values()
             .exactly_one()
-            .or(self.types.values().all_equal_value())
+            .or_else(|_| self.types.values().all_equal_value())
         {
             return Some(*exact_ty);
         }
@@ -86,7 +86,7 @@ impl<'db> CallArgumentTypes<'db> {
         self.types
             .get(&tcx)
             .copied()
-            .or(self.get_default())
+            .or_else(|| self.get_default())
             .unwrap_or(Type::unknown())
     }
 

Original file line number	Diff line number	Diff line change
`@@ -73,7 +73,7 @@ impl<'db> CallArgumentTypes<'db> {`
`73`	`73`	`.types`
`74`	`74`	`.values()`
`75`	`75`	`.exactly_one()`
`76`		`- .or(self.types.values().all_equal_value())`
	`76`	`+ .or_else(\|_\| self.types.values().all_equal_value())`
`77`	`77`	`{`
`78`	`78`	`return Some(*exact_ty);`
`79`	`79`	`}`
`@@ -86,7 +86,7 @@ impl<'db> CallArgumentTypes<'db> {`
`86`	`86`	`self.types`
`87`	`87`	`.get(&tcx)`
`88`	`88`	`.copied()`
`89`		`- .or(self.get_default())`
	`89`	`+ .or_else(\|\| self.get_default())`
`90`	`90`	`.unwrap_or(Type::unknown())`
`91`	`91`	`}`
`92`	`92`