Merge "ART: Fix bug in reference type propagation"