syntax_data: {"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"match"}]}
source_snippet:         match (self, rest) {
context_before:     fn extend(self, rest: PathKind) -> PathKind {
context_after:             (PathKind::Coinductive, _) | (_, PathKind::Coinductive) => PathKind::Coinductive,