`TS8025`

프런트엔드 코드 BUILTIN_STAGE

A @builtin(...) id used as the wrong stage's input or output, e.g. frag_depth on a vertex return, or front_facing on a vertex parameter.

레지스트리 설명과 컴파일러 메시지는 컴파일러 원문이라 한국어 페이지에서도 영어로 둡니다.

예제

"use typeshade"

@fragment
export function main(@builtin("vertex_index") i: u32): vec4 {
  return vec4(f32(i), 0., 0., 1.)
}

빌드할 때 고정된 컴파일러로 이 프로그램을 컴파일하면 다음 진단이 나옵니다.

TS8025 error, 4행: Builtin "vertex_index" is not a valid fragment input; it is a vertex input.

같은 프로그램을 고친 모습입니다. 진단 없이 컴파일됩니다.

"use typeshade"

@fragment
export function main(@builtin("position") p: vec4): vec4 {
  return vec4(p.x / 512., 0., 0., 1.)
}

규칙 6.6 테스트: An entry point’s inputs and outputs are explicit parameters and return values; every parameter and every field of an entry I/O struct must carry @builtin("...") or @location(n), and the builtin name must be one WGSL defines for that stage and direction.

커밋 c66579bf에서 컴파일러가 이 코드를 내는 곳입니다. 파일마다 한 줄씩 적었습니다.