Expand description
In the MIR AST, it seems assert
are introduced to check preconditions
(for the binops for example). The assert!
introduced by the user
introduce if ... then { panic!(...) } else { ...}
.
This pass introduces assert
instead in order to make the code shorter.