SD0113
이 페이지에서

SD0113

코어 코드

a fn whose body returns nothing at the TypeScript level returns a value at run time

이 사이트의 "use typeshade" 프로그램 가운데 이 코드를 내는 것이 없어서 이 페이지에는 예제가 없습니다. fn() 빌더는 IR을 직접 만들기 때문에 소스 절에 적힌 줄의 검사에 닿습니다.

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

발생 조건

The void-body overload's runtime half.

The overload that lets a void body drop voidT pins the handle's key to 'void' at the type level. TypeScript reads a body that sends its value out through an ambient Return() as returning nothing too, so the type level cannot separate the two; SD0113 is the runtime half that keeps 'void' from ever being a lie.

고치는 법

레지스트리의 힌트: name the return type in the fn() call — fn(name, params, <type>, body) — so the handle carries the key its callers need

함께 보기

소스

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

이 페이지 편집 문제 보고