syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// elem. The base-place will have a unique MovePathIndex; we use
context_before:     /// projections are made from a base-place and a projection
context_after:     /// the latter as the index into the outer vector (narrowing