syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"impl<I:"}]}
source_snippet: impl<I: Interner, U: Interner, T> Lift<U> for Binder<I, T>
context_before: // understand how to turn `T` to `T::Lifted` in the output `type Lifted`.
context_after: where