{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"ty::UnsafeBinder(_)"}]}
            ty::UnsafeBinder(_) => todo!(),
            // FIXME(unsafe_binders):
            ty::Dynamic(existential_predicates, region, dyn_kind) => {