syntax_data: {"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// erase, or otherwise "discharge" these bound vars, we change the
context_before: /// Binder<I, TraitRef>`). Note that when we instantiate,
context_after: /// type from `Binder<I, T>` to just `T` (see