Merge "Implement common super type in reference type propagation."
am: a4d1b6438f

* commit 'a4d1b6438ffaa68307480e8bb40cd18842daa2f3':
  Implement common super type in reference type propagation.