{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"ty::Bound(debruijn,"}]}
            ty::Bound(debruijn, bound_ty) if debruijn >= self.current_index => {
            }
                let universe = self.universe_for(debruijn);