syntax_data: {"ast_node_type":"import","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// We use a mixed bitset to avoid paying too high a memory footprint.
context_before:     /// There can be many more `MovePathIndex` than there are locals in a MIR body.
context_after:     type Domain = MaybeReachable<MixedBitSet<MovePathIndex>>;