include deprecated field in folded elements
commit154e3b90833ff874ce8dcac9728754072134766e
authorShayne Fletcher <shaynefletcher@fb.com>
Fri, 28 Jan 2022 22:10:03 +0000 (28 14:10 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 28 Jan 2022 22:21:09 +0000 (28 14:21 -0800)
tree982e48e89df955662a53a383ffd3b059ef3bcf5b
parent46fe7b3b2254eb8813192e8a82a3ad83bf169302
include deprecated field in folded elements

Summary: add `deprecated` to shallow and folded methods (elements)

Differential Revision: D33846059

fbshipit-source-id: 6ffe66ff6f562d37ac408e7a7eb405968963b818
hphp/hack/src/rupro/lib/decl_defs/folded.rs
hphp/hack/src/rupro/lib/decl_defs/shallow.rs
hphp/hack/src/rupro/lib/folded_decl_provider/provider.rs
hphp/hack/src/rupro/lib/shallow_decl_provider/provider.rs