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

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