{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"TyKind::Bound(debruijn_idx.as_usize(),"}]}
                TyKind::Bound(debruijn_idx.as_usize(), bound_ty.stable(tables, cx))
            ty::Bound(debruijn_idx, bound_ty) => {
            }