only add ReturnsNever constraints in function scopes?

abhijeetbodas2001 · abhijeetbodas2001 · commit eb2facc54cd1 · 2025-07-03T11:16:44.000+05:30
diff --git a/crates/ty_python_semantic/src/semantic_index/builder.rs b/crates/ty_python_semantic/src/semantic_index/builder.rs
@@ -2224,7 +2224,9 @@ impl<'ast> Visitor<'ast> for SemanticIndexBuilder<'_, 'ast> {
                 }
                 walk_expr(self, expr);
             }
-            ast::Expr::Call(ast::ExprCall { func, .. }) if !self.source_type.is_stub() => {
+            ast::Expr::Call(ast::ExprCall { func, .. })
+                if !self.source_type.is_stub() && self.in_function_scope() =>
+            {
                 let expression = self.add_standalone_expression(func);
 
                 let predicate = Predicate {

Original file line number	Diff line number	Diff line change
`@@ -2224,7 +2224,9 @@ impl<'ast> Visitor<'ast> for SemanticIndexBuilder<'_, 'ast> {`
`2224`	`2224`	`}`
`2225`	`2225`	`walk_expr(self, expr);`
`2226`	`2226`	`}`
`2227`		`- ast::Expr::Call(ast::ExprCall { func, .. }) if !self.source_type.is_stub() => {`
	`2227`	`+ ast::Expr::Call(ast::ExprCall { func, .. })`
	`2228`	`+ if !self.source_type.is_stub() && self.in_function_scope() =>`
	`2229`	`+ {`
`2228`	`2230`	`let expression = self.add_standalone_expression(func);`
`2229`	`2231`
`2230`	`2232`	`let predicate = Predicate {`