Use property targets when resolving higher order parameters

Reviewed By: arthaud

Differential Revision: D85466951

fbshipit-source-id: ec309513c699a06eaaf796dc3c5ff23b9198e675

Author: Tianhan Lu

pyrefly/lib/report/pysa/ast_visitor.rs

@@ -9,6 +9,7 @@ use dupe::Dupe;
 use pyrefly_python::module_name::ModuleName;
 use pyrefly_python::short_identifier::ShortIdentifier;
 use pyrefly_types::class::Class;
+use ruff_python_ast::Decorator;
 use ruff_python_ast::Expr;
 use ruff_python_ast::ModModule;
 use ruff_python_ast::Stmt;
@@ -345,7 +346,7 @@ fn visit_statement<V: AstScopedVisitor>(
         }
         fn visit_annotation(&mut self, expr: &'e Expr) {
             if V::visit_type_annotations() {
-                self.visit_expr(expr);
+                ruff_python_ast::visitor::source_order::walk_annotation(self, expr);
             }
         }
     }

pyrefly/lib/report/pysa/call_graph.rs

@@ -1328,9 +1328,15 @@ impl<'a> CallGraphVisitor<'a> {
                                 ExpressionCallees::Call(callees) => {
                                     (callees.call_targets, callees.unresolved)
                                 }
-                                ExpressionCallees::AttributeAccess(callees) => {
-                                    (callees.if_called.call_targets, callees.if_called.unresolved)
-                                }
+                                ExpressionCallees::AttributeAccess(callees) => (
+                                    [
+                                        callees.if_called.call_targets,
+                                        callees.property_getters,
+                                        callees.property_setters,
+                                    ]
+                                    .concat(),
+                                    callees.if_called.unresolved,
+                                ),
                                 ExpressionCallees::Identifier(callees) => {
                                     (callees.if_called.call_targets, callees.if_called.unresolved)
                                 }