{"ast_node_type":"variable","tokens":[{"end":25,"kind":"keyword","start":0,"text":"let"}]}
        let ty = self.ty;
        debug_assert_eq!(self.ty, value.ty());
        let value = PatRangeBoundary::Finite(value);