SD0010
Core code
select branches have differing types
The registry text and every compiler message on these pages are the compiler's own English.
In the front end
A "use typeshade" file never reaches this check with the same mistake: the front end refuses it first, under its own code. This program, compiled at build time, gets:
"use typeshade"
@fragmentexport function main(@location(0) uv: vec2): vec4 { return vec4(uv, uv.x > 0.5 ? uv : 1., 1.)}TS8003 error, line 5: Ternary arm type mismatch: vec2 vs f32.
How to fix it
The registry's hint: both branches of a select/ifExpr must share a type
See also
-
TS8003TYPE_MISMATCH - Two types that do not fit where they meet (an operator, a condition, a declaration, a return or an argument), or a constant the compiler folds that WGSL refuses: a shift amount past 31, a divisor of 0, clamp bounds that cross or an f32 past its range.
Source
Where the compiler raises this code at commit 26de7be8, one line per file: