{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"///"}]}
/// currently implements it, but it seems like this may be something to check against in the
/// **Needs clarification:** Is loading a place that has its variant index set well-formed? Miri
/// validator.