typechecker: detect abstract parent:: calls
commit79303374e2e2725469968d9a0d3de7aac43d1e01
authorEugene Letuchy <eletuchy@fb.com>
Fri, 15 Aug 2014 09:56:26 +0000 (15 02:56 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Sat, 16 Aug 2014 03:30:20 +0000 (15 20:30 -0700)
treebff81df9c91318796c5f819238332dc0c272d44b
parenta5d747d162e9cee6153311698c8de01d1709a142
typechecker: detect abstract parent:: calls

Summary: `parent::foo()` invokes a specific method and not a
 late-bound one; it's thus non-sensical for that method to be
 `abstract`.

Reviewed By: @jwatzman

Differential Revision: D1500136
hphp/hack/src/typing/typing.ml
hphp/hack/src/utils/errors.ml
hphp/hack/src/utils/errors.mli
hphp/hack/test/typecheck/parent_abstract_call.php [new file with mode: 0644]
hphp/hack/test/typecheck/parent_abstract_call.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/parent_abstract_construct.php [new file with mode: 0644]
hphp/hack/test/typecheck/parent_abstract_construct.php.exp [new file with mode: 0644]