MIR Gen - Delete HIR once MIR is created (replace with a small node)
MIR Gen - Delete HIR once MIR is created (replace with a small node)

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc