am e6e38ce0: Merge "Use the object class as top in reference type propagation"

* commit 'e6e38ce021ef5e0d326d76172307c000e0e6fab3':
  Use the object class as top in reference type propagation