Fixed list difference algorithm

[hiphop-php.git] / hphp / hack / test / typecheck / constraints / class_method_tparam.php

<?hh // strict

interface Constraint<T as num> {}

class InvalidConstraint {
  public function foo<T as Constraint<mixed>>(T $c): void {}
}