syntax_data: {"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
source_snippet: // understand how to turn `A` to `A::Lifted` in the output `type Lifted`.
context_before: // FIXME: We manually derive `Lift` because the `derive(Lift_Generic)` doesn't
context_after: impl<I: Interner, U: Interner, A> Lift<U> for OutlivesPredicate<I, A>