typechecker: support stdClass
commit016483cade9eaf61bb607ee99726614c6d539e1d
authorEugene Letuchy <eletuchy@fb.com>
Thu, 6 Nov 2014 19:04:54 +0000 (6 11:04 -0800)
committerhhvm-bot <hhvm-bot@fb.com>
Thu, 6 Nov 2014 23:00:26 +0000 (6 15:00 -0800)
tree2a6c4e20f0291bfc5238b5406eb08e0cefeef9d4
parentf3479fcb486b399c09a8eac4bb88810a6019917a
typechecker: support stdClass

Summary: stdClass is a special builtin in that it's basically designed
 for dynamic properties. So, special case 'stdClass' in
 to bypass the declaration check for non-static members.

Reviewed By: @int3

Differential Revision: D1664175

Signature: t1:1664175:1415309554:52fc0b92cf403d8a158d8eec62fe0c5a011752f1
12 files changed:
hphp/hack/hhi/classes.hhi
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/naming/naming_special_names.ml
hphp/hack/src/typing/typing.ml
hphp/hack/test/typecheck/array_map.php.exp
hphp/hack/test/typecheck/instanceof_static_with_reqs.php.exp
hphp/hack/test/typecheck/stdclass_final.php [new file with mode: 0644]
hphp/hack/test/typecheck/stdclass_final.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/stdclass_members.php [new file with mode: 0644]
hphp/hack/test/typecheck/stdclass_members.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/stdclass_static_members.php [new file with mode: 0644]
hphp/hack/test/typecheck/stdclass_static_members.php.exp [new file with mode: 0644]