syntax_data: {"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"(PathKind::Unknown,"}]}
source_snippet:             (PathKind::Unknown, _) | (_, PathKind::Unknown) => PathKind::Unknown,
context_before:             (PathKind::Coinductive, _) | (_, PathKind::Coinductive) => PathKind::Coinductive,
context_after:             (PathKind::Inductive, PathKind::Inductive) => PathKind::Inductive,