{"ast_node_type":"variable","tokens":[{"end":63,"kind":"keyword","start":0,"text":"let"}]}
            let category = ConstraintCategory::Predicate(span);
            debug!(?span, ?predicate);
            let predicate = self.normalize_with_category(predicate, locations, category);