Skip to content

Commit 7ebf01f

Browse files
Tianhan Lumeta-codesync[bot]
authored andcommitted
Use as_call_target to resolve calls for Expr::Name
Summary: For now, this is used as a backup approach, when there is no go-to-definition. For future: - We still keep the callees computed from go-to-definitions. However later with more tests migrated, we may try to remove callees computed from go-to-definitions, because those may be less precise. - We may also want to use `as_call_target` to resolve calls for `Expr::Attribute`. Reviewed By: stroxler Differential Revision: D84625457 fbshipit-source-id: fb6d5aa0ad7a604a611991478c4667a14bbf37d5
1 parent 4f7b451 commit 7ebf01f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

source/interprocedural/test/callGraphTest.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -610,6 +610,7 @@ let test_call_graph_of_define =
610610
();
611611
labeled_test_case __FUNCTION__ __LINE__
612612
@@ assert_call_graph_of_define
613+
~_is_migrated:true
613614
~source:
614615
{|
615616
from typing import Protocol

0 commit comments

Comments
 (0)