`TS8021`

Front-end code RETURN_SHAPE

A return shape problem: bare return where a value is required, or an entry function with no return type annotation that returns a value.

The registry text and every compiler message on these pages are the compiler's own English.

Example

"use typeshade"

function shade(x: f32): f32 {
  if (x > 0.5) {
    return
  }
  return x * 0.5
}

@fragment
export function main(@location(0) uv: vec2): vec4 {
  return vec4(uv, shade(uv.x), 1.)
}

Compiled at build time against the pinned compiler, this program gets:

TS8021 error, line 5: Function "shade" returns f32 but has a bare "return".

How to fix it

The same program, corrected. It compiles with no diagnostic.

"use typeshade"

function shade(x: f32): f32 {
  if (x > 0.5) {
    return 1.
  }
  return x * 0.5
}

@fragment
export function main(@location(0) uv: vec2): vec4 {
  return vec4(uv, shade(uv.x), 1.)
}

The rule this enforces

Rule 8.19 Test: A function that writes no return type returns what its body does, as TypeScript infers it: a function of the file or of a namespace, a local function (Rule 8.17), each instance of a generic function (Rule 8.9) and of a function that takes a function (Rule 8.18), a method, a getter and a field that holds a function (Rule 8.16) take the type of their first return with a value, the returns after it are typed against that type as against a written one, and one with no such return returns nothing.

Source

Where the compiler raises this code at commit 26de7be8, one line per file:

src/compiler/ts/lower/function.ts:3079 (2 sites)

Edit this page Report a problem

TS8021

Example

How to fix it

The rule this enforces

See also

Source

`TS8021`