flux_refineck::primops

Function match_un_op

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