When I compile the code with “-Z no-trans” to just verify the types and perform the borrow checking, I have seen with “-Ztime-passes” that it also performs:
time: 0.127; rss: 177MB MIR optimisations
Is it possible and a good idea for “-Z no-trans” to remove this part too?