Remove record def decl errorsnightly-2020.09.18
commit0414f40d9dae0a17ba09172ba7514a4d173074a4
authorMillie Chen <[email protected]>
Fri, 18 Sep 2020 01:53:15 +0000 (17 18:53 -0700)
committerFacebook GitHub Bot <[email protected]>
Fri, 18 Sep 2020 01:55:25 +0000 (17 18:55 -0700)
treebaf935c7a5afdd55d00c145a67b52d0b0d5bc4b5
parent40dc4e30de539b4884bf8c4c463e316fc96f12b1
Remove record def decl errors

Summary: Record def types are always declared with `rdt_decl_errors = None`, so remove the field altogether.

Differential Revision: D23768319

fbshipit-source-id: b0fd75f1d0ede5a87507f4fee97e378dc0c11407
hphp/hack/src/decl/decl.ml
hphp/hack/src/oxidized_by_ref/gen/typing_defs.rs
hphp/hack/src/typing/typing_defs.ml