hphp/hack/test/typecheck/constraints/tapply_is_newtype.php

   1 //// file1.php
   2 <?hh // strict
   3
   4 interface Constraint<T as num> {}
   5
   6 newtype NewConstraint<T as num> as Constraint<T> = Constraint<T>;
   7
   8 //// file2.php
   9 <?hh // strict
  10
  11 // Test that we check constraints for the 'as' part of newtypes
  12 function invalid(NewConstraint<mixed> $x): void {}