syntax_data: {"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"MaybeReachable::Unreachable"}]}
source_snippet:             MaybeReachable::Unreachable => {}
context_before:             // If the state is not reachable, killing an element does nothing.
context_after:             MaybeReachable::Reachable(set) => set.kill(elem),