Add test case for abstract type constant deps

Summary: Adds additional tests to ensure all type constant depdencies are recorded for meth_caller and function refs

Reviewed By: geralt-encore

Differential Revision: D77732552

fbshipit-source-id: 915d881f6ffc1de8c55ea59afa5dbf930edf7475

Author: Michael Thomas

hphp/hack/test/deps/function_pointer.php

@@ -1,6 +1,9 @@
 <?hh
 
+class A {}
+
 class C {
+  const type TC = A;
   public static function foo<T>(T $_): void {}
   public function bar<T>(T $_): void {}
 }
@@ -18,3 +21,23 @@ function refBar() : void {
 function refQux() : void {
   $_ =  qux<>;
 }
+
+
+abstract class B {
+  abstract const type TC1 as C;
+  const type TC2 = arraykey;
+
+  public function buz(this::TC1 $_, this::TC1::TC $_ , this::TC2 $_): void {}
+
+  public static function baz(this $_, this::TC1 $_, this::TC1::TC $_ , this::TC2 $_): void {}
+}
+
+
+function refBuz(): void {
+  $_ = meth_caller(B::class, 'buz');
+}
+
+
+function refBaz(): void {
+  $_ = B::baz<>;
+}

hphp/hack/test/deps/function_pointer.php.exp

@@ -1,10 +1,26 @@
+Const B::TC1 -> Fun refBaz, Fun refBuz, Type B
+Const B::TC2 -> Fun refBaz, Fun refBuz, Type B
+Const C::TC -> Fun refBaz, Fun refBuz, Type B
 Fun qux -> Fun refQux
+Method B::buz -> Fun refBuz
 Method C::bar -> Fun refBar
+SMethod B::baz -> Fun refBaz
 SMethod C::foo -> Fun refFoo
-Type C -> Fun refBar, Fun refFoo
+Type A -> Fun refBaz, Fun refBuz, Type B, Type C
+Type B -> Fun refBaz, Fun refBuz
+Type C -> Fun refBar, Fun refBaz, Fun refBuz, Fun refFoo, Type B
 Type HH\Capabilities\WriteProperty -> Fun qux,
                                       Fun refBar,
+                                      Fun refBaz,
+                                      Fun refBuz,
                                       Fun refFoo,
                                       Fun refQux,
+                                      Type B,
                                       Type C
-Type HH\supportdyn -> Fun qux, Fun refBar, Fun refFoo, Fun refQux, Type C
+Type HH\supportdyn -> Fun qux,
+                      Fun refBar,
+                      Fun refBaz,
+                      Fun refBuz,
+                      Fun refFoo,
+                      Fun refQux,
+                      Type C