Function eff_new_unchecked 

fn eff_new_unchecked(_: &EffCtx<'_, '_>) -> Vec<CallEffect>

NonNull::new_unchecked(ptr): a transparent re-wrap that preserves ptr’s value and provenance (element offset included), inheriting non-nullness from the source rather than asserting it.