Merge "Fix invariant in reference type propagation."
am: 62a9841469

* commit '62a9841469f99810b2b39b0748cb113af0e8913a':
  Fix invariant in reference type propagation.