Error on self::class on non final classes

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

<?hh // strict
// Copyright 2004-present Facebook. All Rights Reserved.

function test<T1, T2 super int>(T1 $x): ?T2 {
  return $x;
}