Introduce the promote_nullable_to_optional_in_shapes experimental feature
commit650880880c23134ad60303a9dc71651cdea7d852
authorMichael Tingley <tingley@fb.com>
Mon, 5 Jun 2017 20:26:32 +0000 (5 13:26 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 5 Jun 2017 20:35:58 +0000 (5 13:35 -0700)
treefc7b47c47e3ebf1e44cc8f024bc77a50ff968587
parent5e7c7c75657137c19c42117a6c60075836968466
Introduce the promote_nullable_to_optional_in_shapes experimental feature

Summary:
= Overview

`promote_nullable_to_optional_in_shapes` is a new typechecker experimental flag. Here's the documentation from the diff.

If enabled, the following promotions will be applied at parse time:

Differential Revision: D5151873

fbshipit-source-id: 941e049658704e95ef32d4d9c5709061d3278e42
13 files changed:
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/parser/full_fidelity_ast.ml
hphp/hack/src/parser/parser_hack.ml
hphp/hack/test/typecheck/shape/shape_structural_subtyping_allows_indexing_for_nullable_field.php.exp
hphp/hack/test/typecheck/shape/shape_type_structure_with_optional_and_required_fields.php.exp
hphp/hack/test/typecheck/shape26.php.exp
hphp/hack/test/typecheck/type_structure/as_generic.php
hphp/hack/test/typecheck/type_structure/as_generic.php.exp
hphp/hack/test/typecheck/type_structure/generic_type_structure.php.exp
hphp/hack/test/typecheck/type_structure/type_structure_abstract.php
hphp/hack/test/typecheck/type_structure/type_structure_abstract.php.exp