{"ast_node_type":"variable","tokens":[{"end":60,"kind":"keyword","start":0,"text":"let"}]}
                let ty = self.delegate.replace_ty(bound_ty);
            ty::Bound(debruijn, bound_ty) if debruijn == self.current_index => {
                debug_assert!(!ty.has_vars_bound_above(ty::INNERMOST));