fix(naga): properly impl. auto. type conv. for select

Author: ErichDonGubler

naga/src/front/wgsl/lower/mod.rs

@@ -2483,8 +2483,23 @@ impl<'source, 'temp> Lowerer<'source, 'temp> {
                         "select" => {
                             let mut args = ctx.prepare_args(arguments, 3, span);
 
-                            let reject = self.expression(args.next()?, ctx)?;
-                            let accept = self.expression(args.next()?, ctx)?;
+                            let mut values = [
+                                self.expression_for_abstract(args.next()?, ctx)?,
+                                self.expression_for_abstract(args.next()?, ctx)?,
+                            ];
+                            for &value in &values {
+                                ctx.grow_types(value)?;
+                            }
+                            if let Ok(consensus_scalar) =
+                                ctx.automatic_conversion_consensus(&values)
+                            {
+                                ctx.convert_slice_to_common_leaf_scalar(
+                                    &mut values,
+                                    consensus_scalar,
+                                )?;
+                            }
+
+                            let [reject, accept] = values;
                             let condition = self.expression(args.next()?, ctx)?;
 
                             args.finish()?;