Yell when using a collection with the wrong type parameter list
commit0facd6c802789b50b66d98d27faed1c080cc051f
authorJosh Watzman <jwatzman@fb.com>
Tue, 20 May 2014 18:42:45 +0000 (20 11:42 -0700)
committerJoelMarcey <joelm@fb.com>
Thu, 22 May 2014 18:15:16 +0000 (22 11:15 -0700)
treed6bdfc72e7cf6f0ac09e3b8a519658d11f4af0ee
parent8a5e4d08adb8f2adb83be1cf88b12d8f4c86f7da
Yell when using a collection with the wrong type parameter list

Summary: This is awkward and not ideal, but the best compromise for now.
See code comment.

Fixes #2499

Reviewed By: @elgenie

Differential Revision: D1339407
hphp/hack/src/typing/typing.ml
hphp/hack/test/typecheck/collection_missing_argl1.php [new file with mode: 0644]
hphp/hack/test/typecheck/collection_missing_argl1.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/collection_missing_argl2.php [new file with mode: 0644]
hphp/hack/test/typecheck/collection_missing_argl2.php.exp [new file with mode: 0644]