fn make_binop_overflow_panic<T: BodyVisitable>( x: &mut [T], matches: impl Fn(&BinOp, &Operand, &Operand) -> bool, ) -> bool