diff --git a/compiler/src/lib.rs b/compiler/src/lib.rs index 637acf30bd..c651dd2968 100644 --- a/compiler/src/lib.rs +++ b/compiler/src/lib.rs @@ -329,9 +329,7 @@ fn compile>( } #[allow(clippy::print_stdout)] -pub fn inputs_to_query_callback<'a, T: FieldElement>( - inputs: &'a [T], -) -> impl Fn(&str) -> Option + '_ { +pub fn inputs_to_query_callback(inputs: &[T]) -> impl Fn(&str) -> Option + '_ { move |query: &str| -> Option { let items = query.split(',').map(|s| s.trim()).collect::>(); match items[0] {