Function modifier_prefix_always_exits 

fn modifier_prefix_always_exits(
    hir: &Hir<'_>,
    invocation: &Modifier<'_>,
) -> bool

true when the modifier body has a single _; and any preceding statement definitely exits (making the calling function’s body unreachable).