pub(crate) fn match_un_op( op: UnOp, bty: &BaseTy, idx: &Expr, check_overflow: bool, ) -> MatchedRule