{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"nop_lift!"}]}
nop_lift! { predicate; Predicate<'a> => Predicate<'tcx> }
nop_lift! { const_allocation; ConstAllocation<'a> => ConstAllocation<'tcx> }
nop_lift! { predicate; Clause<'a> => Clause<'tcx> }