From e4605529ef73e79badf2c7e01574f32905430241 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 Signed-off-by: discord9 --- 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,