From dce4783eb0cf0f0a83145a447407d2f57508afc1 Mon Sep 17 00:00:00 2001 From: Andrea Fioraldi Date: Thu, 29 Oct 2020 17:55:56 +0100 Subject: [PATCH] max min map feedback alias --- src/feedbacks/mod.rs | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/feedbacks/mod.rs b/src/feedbacks/mod.rs index f6047643e9..9eca463d21 100644 --- a/src/feedbacks/mod.rs +++ b/src/feedbacks/mod.rs @@ -64,3 +64,8 @@ impl<'a, MapT: Integer + Copy + 'static, ReducerT: Reducer> MapFeedback = MapFeedback>; +#[allow(dead_code)] +type MinMapFeedback = MapFeedback>;