{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"let"}]}
        let hir_id = self.lower_node_id(pred.id);
    ) -> hir::WherePredicate<'hir> {
        let span = self.lower_span(pred.span);