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

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