am 7eb3fa1e: Merge "Add a type propagation phase after building SSA."

* commit '7eb3fa1e03b070c55ecbc814e2e3ae4409cf7b1e':
  Add a type propagation phase after building SSA.