type safe names for class members
commit1465f6e5dbdff45ada8151515da45ca6fe7990d9
authorEdwin Smith <smith@fb.com>
Tue, 8 Feb 2022 18:07:27 +0000 (8 10:07 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 8 Feb 2022 18:08:46 +0000 (8 10:08 -0800)
treedf915dbdcaaf3c4571cb757bcbbb84b289553adf
parent7e6122c1b2e17fea4e71fcc10cf9c18f7931aaca
type safe names for class members

Summary: Each of these are disjoint from the other kinds of names.

Differential Revision: D34041907

fbshipit-source-id: 67ed73dc1939bfa2635e95fcdc71d8bd86048826
hphp/hack/src/rupro/lib/alloc/alloc_decl_defs.rs
hphp/hack/src/rupro/lib/alloc/alloc_pos.rs
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/inherit.rs
hphp/hack/src/rupro/lib/folded_decl_provider/provider.rs
hphp/hack/src/rupro/lib/pos/symbol.rs