{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                Ty::new_bound(tcx, debruijn, br)
            Some(rbv::ResolvedArg::EarlyBound(def_id)) => {