type(false ? half : i32)
