pub fn invariant_except_break<A>(_a: A)