?  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 / class_tparam_substitution_conflicts_with_method_tparam2.php.exp
blob50df2cbc9176e8f57eef2a30a122b2a0463ee188
1 File "class_tparam_substitution_conflicts_with_method_tparam2.php", line 22, characters 10-42:
2 Invalid return type (Typing[4110])
3 File "class_tparam_substitution_conflicts_with_method_tparam2.php", line 21, characters 33-33:
4 Expected B
5 File "class_tparam_substitution_conflicts_with_method_tparam2.php", line 15, characters 38-42:
6 via this generic Tnext
7 File "class_tparam_substitution_conflicts_with_method_tparam2.php", line 12, characters 24-27:
8 via this generic Tout
9 File "class_tparam_substitution_conflicts_with_method_tparam2.php", line 6, characters 39-40:
10 via this generic Tv
11 File "class_tparam_substitution_conflicts_with_method_tparam2.php", line 21, characters 57-57:
12 But got C
13 File "class_tparam_substitution_conflicts_with_method_tparam2.php", line 21, characters 57-57:
14 Considering that this type argument is invariant with respect to BaseIterable