Check whether the two branches of a conditional have the same type.
Check whether the two branches of a conditional have the same type.

Oops.

CulpaBS/wbBach,mrakgr/futhark,mrakgr/futhark,diku-dk/futhark,ihc/futhark,ihc/futhark,ihc/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,mrakgr/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark