syntax_data: {"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"(AllPathsToHeadCoinductive::Yes,"}]}
source_snippet:             (AllPathsToHeadCoinductive::Yes, AllPathsToHeadCoinductive::Yes) => {
context_before:         match (self, other.into()) {
context_after:                 AllPathsToHeadCoinductive::Yes