kill `ensure_option`
commit2b65678de0f0ba378b1e05c99c78f34ea44834b7
authorCatherine Gasnier <catg@fb.com>
Tue, 12 Nov 2019 11:48:27 +0000 (12 03:48 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Tue, 12 Nov 2019 11:50:37 +0000 (12 03:50 -0800)
treecf20fc812d44d669da810a3759de6ce461c11907
parentc95231c53e417c403757eddab37c208d92c7b54c
kill `ensure_option`

Summary: Can simply union with null instead.

Reviewed By: kmeht

Differential Revision: D18428281

fbshipit-source-id: 95cfa0aebf00ad308fbd730e84ae528a6cbbd56c
hphp/hack/src/typing/typing_shapes.ml
hphp/hack/src/typing/typing_utils.ml