{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"rbv::ResolvedArg::LateBound(debruijn,"}]}
            rbv::ResolvedArg::LateBound(debruijn, index, def_id) => {
                let br = ty::BoundRegion {