syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// Collect types that require specific explanations when they show up in witnesses.
context_after: fn collect_special_tys<'tcx>(