?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Error on self::class on non final classes
[hiphop-php.git] / hphp / hack / test / typecheck / contravariance_bad1.php.exp
blobaba34c49b7c26510eeb1e22a624b4c2a785f3ab3
1 File "contravariance_bad1.php", line 39, characters 10-11:
2 Invalid return type (Typing[4110])
3 File "contravariance_bad1.php", line 33, characters 16-16:
4 Expected A
5 File "contravariance_bad1.php", line 16, characters 46-46:
6 via this generic T
7 File "contravariance_bad1.php", line 30, characters 30-30:
8 But got B
9 File "contravariance_bad1.php", line 30, characters 30-30:
10 Considering that this type argument is contravariant with respect to ISettable