syntax_data: {"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// - all the predicates at positions `X..` between `X` and the top are
context_before:     /// - it also appears in the backtrace at some position `X`,
context_after:     ///   also coinductive traits.