syntax_data: {"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"match"}]}
source_snippet:         match path {
context_before:     fn from(path: PathKind) -> AllPathsToHeadCoinductive {
context_after:             PathKind::Coinductive => AllPathsToHeadCoinductive::Yes,