syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     ///     // We prove `<T as Trait>::Assoc` by looking at the bounds on `Assoc` in
context_before:     /// fn foo<T: Trait>(x: <T as Trait>::Assoc) {
context_after:     ///     // in the trait definition.