type(false ? i32 : true)
