Reference types introduces a typed select operation. It has identical execution semantics so no codegen change is needed.
Ryan Hunt