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

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