규칙 7.1

the compile gate and src/core/oracle-backend-parity.test.ts; TS8003 for a matrix product whose dimensions do not meet (Rule 4.8, #169); TS8003 for an operator WGSL has no overload for on operands of one type, decided by kind in src/compiler/ts/lower/operator-kinds.ts (proposal 0008): arithmetic on a bool, a vector of bools, a struct or an array, + and - and every compound form on a matrix of doubles, an ordering on anything but a number or a vector of numbers, === and !== on a matrix, a struct or an array, &, | and ^ on a matrix, a struct or an array and ^ on a bool or a vector of bools (a float under any of the three is lowerBinary’s own TS8003, which keeps two whole numbers the front end folds, #236), unary - on a bool, a matrix, a struct or an array, unary + on a struct or an array, and any of them on a texture or a sampler, each sentence naming the operator and the type as written (Cannot + A: WGSL has no arithmetic on a struct. Write it field by field.), and the editor’s merge showing that sentence alone, without TypeScript’s TS2365, TS2362, TS2363 or TS2447 on the same operator, or its report about the number it types the result as, where that result is read in place, through a member or an element, or through a local declared from it (TS2322, TS2339, TS7053; Rule 12.4); pinned by src/compiler/ts/operators-statements.test.ts, which reads both halves, and src/language-service/service.test.ts.