syntax_data: {"ast_node_type":"impl","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// function from a trait, synthesize an associated type for that `impl Trait`
context_before: /// Given an `opaque_ty_def_id` corresponding to an `impl Trait` in an associated
context_after: /// that inherits properties that we infer from the method and the opaque type.