syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// Requires that trait definitions have been processed so that we can
context_before: ///
context_after: /// elaborate predicates and walk supertraits.