Merge "Record types when the interpreter executes intrinsics." am: 03a8e8666f
am: daba599fb6

Change-Id: Ib044dab3fc7ba20ad150f848ee1a6d54fca876ea