syntax_data: {"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"type"}]}
source_snippet:     type Lifted = ty::Term<'tcx>;
context_before: impl<'a, 'tcx> Lift<TyCtxt<'tcx>> for Term<'a> {
context_after:     fn lift_to_interner(self, tcx: TyCtxt<'tcx>) -> Option<Self::Lifted> {