[inferhack] test case for changes to hackc intended to make constants in traits work properly

Reviewed By: davidpichardie

Differential Revision:
D62647632

Privacy Context Container: L1208441

fbshipit-source-id: a0b9c7a34e39db1f932a8ff1a7dd7e4de828543d

Author: Nick Benton

infer/tests/codetoanalyze/hack/pulse/constinit.hack

@@ -25,11 +25,28 @@ class D extends C {
   const int Dc = 2;
 }
 
+// a more complex situation that really happens
+trait T1 {
+  const int INDEX = C1::INDEX;
+}
+
+class C1 {
+  use T2;
+}
+
+trait T2 implements I1 {}
+
+interface I1 extends I2 {}
+
+interface I2 {
+  const int INDEX = 1;
+}
+
 class Tester {
-  public static async function mainOK(): Awaitable<void> {
+  public static async function mainOK(classname<C> $c): Awaitable<void> {
     $d = D::Dc;
     // at this point we should have called, and marked as
-    // called, C$static._86init
+    // called, C$static._86constinit
     // So the subsequent access to C::Cc shouldn't call constinit first
     $c = C::Cc;
     // next bit shows we're dealing with constants in interfaces properly
@@ -41,4 +58,14 @@ class Tester {
       return; // UAA error
     };
   }
+
+  // no longer an FP
+  public static async function main2OK(): Awaitable<void> {
+    if (T1::INDEX === 1) {
+      return; // should always happen
+    }
+    $_ = async {
+      return; // UAA error, should be unreachable
+    };
+  }
 }