Generator that never returns should have return type 'never'

[KSXGitHub]

Search Terms

Suggestion

Generator function that yields T but never return should return Generator<T, never, unknown>

function * generator<T> (x: T) {
  while (true) yield x
}

const iter = generator(3) // expect: Generator<number, never, unknown>

Use Cases

Examples

Checklist

My suggestion meets these guidelines:

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, etc.)
• This feature would agree with the rest of TypeScript's Design Goals.

[AnyhowStep]

#11296 (comment)

#16608

#8767

[RyanCavanaugh]

Appreciate the links @AnyhowStep but I don't think the motivation for hiding never return types in function declarations necessarily applies to generator functions.

@rbuckton thoughts?