syntax_data: {"ast_node_type":"import","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// For defaulted traits, we use a co-inductive strategy to solve, so
context_after:     /// that recursion is ok. This routine returns `true` if the top of the