[TM-262] Add `DIP Nop` rule to the optimizer
Description
Problem: DIP Nop
is Nop
, but our optimzier does not account for
that. It is especially useful when we have something like
DIP coerce_
in Lorentz.
Solution: add such a rule to the optimizer. MAP Nop
is also Nop
,
but that is harder to do, so I did not bother for now.
Please do not merge before !95 (merged).
Related issue(s)
https://issues.serokell.io/issue/TM-262
✅ Checklist for your Merge Request
Related changes (conditional)
-
Tests (see short guidelines)
-
If I added new functionality, I added tests covering it. -
If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
-
-
Documentation
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.