| commit | c361d9e9e1a0d5331ae3c2e5156edf4807429738 | |
| author | Scott Owens <sowens@fb.com> | |
| Tue, 26 Apr 2022 13:16:32 +0000 (26 06:16 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 26 Apr 2022 13:16:32 +0000 (26 06:16 -0700) | ||
| tree | 511eae8e402a2d5190b3d063497adf7ee003f5f5 | treesnapshot (tar.gz zip) |
| parent | b5b6118fbe4b03e99a42fa1f71dbd85973860b2b | commitdiff |
remove anyfy
Summary: The `anyfy` function was used to propagate `Tany` types into the generic arguments. For example, when checking `Tany <: Traversable<#1>`, `Tany` would be added as a lower bound to `#1`. This suppresses subsequent type errors in a brittle and ad hoc way, by proliferating `Tany`s in the code. Instead, we will just consider `Tany` to be a subtype and super type of anything without further constraining any type arguments.
Reviewed By: CatherineGasnier
Differential Revision: D35776485
fbshipit-source-id: 9487f183ef42b20fe0686c19aa7ef09556875662
Summary: The `anyfy` function was used to propagate `Tany` types into the generic arguments. For example, when checking `Tany <: Traversable<#1>`, `Tany` would be added as a lower bound to `#1`. This suppresses subsequent type errors in a brittle and ad hoc way, by proliferating `Tany`s in the code. Instead, we will just consider `Tany` to be a subtype and super type of anything without further constraining any type arguments.
Reviewed By: CatherineGasnier
Differential Revision: D35776485
fbshipit-source-id: 9487f183ef42b20fe0686c19aa7ef09556875662
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/new_inference/eager_solve/map_any.php.exp | diffblobblamehistory |