remove usage of non_null in check for __AtMostRxAsFunc
commit10fc5bfbf50f6d2ee39641bfe59940185b1e5f95
authorCatherine Gasnier <catg@fb.com>
Mon, 8 Jul 2019 15:15:08 +0000 (8 08:15 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 8 Jul 2019 15:18:55 +0000 (8 08:18 -0700)
treecc880862a53392a64ecc5db7b85e6c9d62d9f6a3
parent4e46d780848f5c6753e899fc0c7086a294d8680d
remove usage of non_null in check for __AtMostRxAsFunc

Summary: If non_null is to produce an intersection with nonnull, this piece of code won't work anymore. Replace with a recursive function matching Toption instead.

Reviewed By: andrewjkennedy

Differential Revision: D16148509

fbshipit-source-id: 45145ee9d434b8955a1021a7c4dac150394534be
hphp/hack/src/typing/typing_reactivity.ml