syntax_data: {"ast_node_type":"function","tokens":[{"end":64,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet:     pub fn get_idx(&self, place: PlaceIndex, map: &Map<'_>) -> V
context_before:     /// This method returns ⊥ the current state is unreachable.
context_after:     where