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

Change-Id: If77da2c39a6545b7da25b7d79d27b34a6d8a5982