1 2 3 4 5 6 7 8 9 10 11 12 13
use id_effect::{Effect, Needs}; struct Counter; fn bad() -> Effect<(), (), ()> { Effect::new(|r: &mut ()| { let _ = Needs::<Counter>::need(r); Ok(()) }) } fn main() { let _ = bad(); }