pub fn foo<F2, F3>( show_cpy_dlg_cb: F3,//if I change it to F2 it won't compile hide_cpy_dlg_cb: F2, ) -> anyhow::Result<()> where F2: FnOnce(&mut Cursive) + 'static + std::marker::Send + std::marker::Copy, F3: FnOnce(&mut Cursive) + 'static + std::marker::Send + std::marker::Copy, …

pub struct Cursive; pub fn foo<F2>( show_cpy_dlg_cb: F2, hide_cpy_dlg_cb: F2, ) -> anyhow::Result<()> where F2: FnOnce(&mut Cursive) + 'static + std::marker::Send + std::marker::Copy, { todo!() } pub fn show_cpy_dlg(s: &mut Cursive) {} pub fn hide_cpy_dlg(s: &mut Cursive) {} fn ba…

Incorrect/Illogical behavior for deducing fn

jbe December 19, 2022, 9:26am 6

Yes, this issue has also recently been mentioned here in the thread "What is the exact type of a function?".

It was a surprise for me as well.

1 Like

Topic		Replies	Views
What exactly is `fn` when used as a type (not when declaring a function)? Is it only for FFI?	5	2072	January 12, 2023
Why this code compiles? Is this expected? help	3	272	November 7, 2023
Closure type inference	6	1989	January 12, 2023
Problems implementing traits for functions help	10	567	January 12, 2023
Polymorphism fn help	2	269	October 2, 2023

Incorrect/Illogical behavior for deducing fn

Related Topics