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