Merge "Reference type propagation"