syntax_data: {"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     ///   also coinductive traits.
context_before:     /// - all the predicates at positions `X..` between `X` and the top are
context_after:     pub(crate) fn coinductive_match<I>(&mut self, mut cycle: I) -> bool