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