[flow][test] Expose incorrect ordering of callee hint with explicit t…

…ype arguments

Summary:
The ordering here is incorrect, since finding a hint for `s` might depend on the annotation. Add a repro test first in this diff.

Changelog: [internal]

Reviewed By: panagosg7

Differential Revision: D55375050

fbshipit-source-id: b6e1866815695fc6ffe7b1f561dc3abb4e424e3b

src/analysis/env_builder/__tests__/name_def_test.ml

@@ -1480,6 +1480,16 @@ Dialog.Prop = function(): void {
       (2, 9) to (2, 15) =>
       (4, 0) to (4, 11) |}]
 
+let%expect_test "callee hint type args" =
+  print_order_test {|
+generic_fn<annot>((s) => s);
+type annot = string;
+|};
+    [%expect {|
+      (2, 19) to (2, 20) =>
+      (3, 5) to (3, 10) =>
+      (2, 18) to (2, 26) (Env_api.Make.ExpressionLoc) |}]
+
 let%expect_test "callee hint cycle" =
   print_order_test {|
 g(function h() { return f() })