Merge "Revert "Revert "Run type propagation after inliner only when needed."""