Function invariant_except_break

pub fn invariant_except_break<A>(_a: A)