From 6a9ea7386531e77405207eae8c477f72551c1bef Mon Sep 17 00:00:00 2001 From: Dominik Maier Date: Mon, 20 May 2024 04:03:23 +0200 Subject: [PATCH] Confuse clippy less (#2223) --- utils/gramatron/construct_automata/src/main.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils/gramatron/construct_automata/src/main.rs b/utils/gramatron/construct_automata/src/main.rs index 50d5fabda3..0d2e7c4a95 100644 --- a/utils/gramatron/construct_automata/src/main.rs +++ b/utils/gramatron/construct_automata/src/main.rs @@ -123,7 +123,7 @@ fn prepare_transitions<'pda, 'src: 'pda>( for symbol in ss.into_iter().rev() { state_stack.push_front(symbol); } - let mut state_stack_sorted: Box<_> = state_stack.iter().copied().collect(); + let mut state_stack_sorted: Box<[&str]> = state_stack.iter().copied().collect(); state_stack_sorted.sort_unstable(); let mut transition = Transition {