From 4164f0babcb876764c125d0d27227a5862bf8cc2 Mon Sep 17 00:00:00 2001 From: discord9 Date: Mon, 18 May 2026 19:04:42 +0800 Subject: [PATCH] chore: remove stale filter id allow --- src/query/src/dist_plan/filter_id.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/query/src/dist_plan/filter_id.rs b/src/query/src/dist_plan/filter_id.rs index e1daf3de7a..767e5e1d7e 100644 --- a/src/query/src/dist_plan/filter_id.rs +++ b/src/query/src/dist_plan/filter_id.rs @@ -193,7 +193,6 @@ impl Display for ParseFilterIdError { /// NOTE(remote-dyn-filter): This id is generated once on the source side and then propagated. /// Consumers should reuse the propagated `FilterId` instead of independently recomputing it from /// local state. -#[allow(unused)] pub(crate) fn build_remote_dyn_filter_id( region_id: RegionId, producer_scope_id: ProducerScopeId,