{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"erased_ty:"}]}
    erased_ty: Ty<'tcx>,
    outlives_predicate: ty::Binder<'tcx, ty::TypeOutlivesPredicate<'tcx>>,
) -> bool {