| commit | b334647cad18434dc6e2880b522f8dbe3e442d0a | |
| author | Michael Tingley <tingley@fb.com> | |
| Fri, 17 Mar 2017 00:14:57 +0000 (16 17:14 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 17 Mar 2017 00:36:20 +0000 (16 17:36 -0700) | ||
| tree | eab79f45b443f1a4167634aab18f50583b655d1e | treesnapshot (tar.gz zip) |
| parent | 8e70967f2b725a7b9500b3286555daede2e2027e | commitdiff |
Implement type checker enforcement to prevent array<T> <: array<int, T>
Summary:
When the `--safe_vector_array` type checker flag is set, this diff enforces that a vector-like array may not be used where a hashtable-like array is required.
Currently, Hack assumes the following:
```
array<T> <: array<int, T>
```
The flag makes it such that there is no subtyping relationship between `array<T>` and `array<int, T>`.
Reviewed By: eshrews
Differential Revision: D4720058
fbshipit-source-id: d492fe5d0c53c7e3cfe5385104c3f4c34d793be9
Summary:
When the `--safe_vector_array` type checker flag is set, this diff enforces that a vector-like array may not be used where a hashtable-like array is required.
Currently, Hack assumes the following:
```
array<T> <: array<int, T>
```
The flag makes it such that there is no subtyping relationship between `array<T>` and `array<int, T>`.
Reviewed By: eshrews
Differential Revision: D4720058
fbshipit-source-id: d492fe5d0c53c7e3cfe5385104c3f4c34d793be9