{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
        let predicate = &self.predicates[predicate_pos];
    pub fn span_for_bound_removal(&self, predicate_pos: usize, bound_pos: usize) -> Span {
        let bounds = predicate.kind.bounds();