Support bool -> record cast