add substitution type to carry allocator
commitc8d25f52a214a5ce959c4af58bc7fc68dffc674d
authorShayne Fletcher <shaynefletcher@fb.com>
Tue, 15 Feb 2022 17:20:22 +0000 (15 09:20 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 15 Feb 2022 17:22:03 +0000 (15 09:22 -0800)
tree196d6902f8ddaf5988b409130b195c128c3d2b93
parent415f716fd17221ec8eee9117172cee2d7541c6d7
add substitution type to carry allocator

Summary: inspired by D34160403 (https://github.com/facebook/hhvm/commit/d69dcdc6fb08e3459c6be692a1eb7c69310bfe36) introduce `Substitution<'a, R>`, a public type that pairs a `Subst<R>` reference with an `Allocator<R>` reference. in this way we thread `alloc` parameters where they are needed implicitly

Differential Revision: D34243648

fbshipit-source-id: a628a68e7cd9a8cff2f94619cb7a10bd9ac41ed6
hphp/hack/src/rupro/lib/folded_decl_provider/fold.rs
hphp/hack/src/rupro/lib/folded_decl_provider/subst.rs