type(false ? i32 : 1)
