syntax_data: {"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // are disjoint, which is expected by drop elaboration.
context_before:             // `ConstIndex` patterns. This is done to ensure that all move paths
context_after:             let base_place =