建议

🔍 搜索词

• JavaScript return never
• JavaScript method return never
• JavaScript override method return never
• JavaScript abstract method return never

✅ 可实现性检查清单

我的建议满足以下准则：

• [?] 这不会对现有的TypeScript/JavaScript代码造成破坏性的更改
• 这不会改变现有JavaScript代码的运行时行为
• 这可以在不根据表达式的类型生成不同的JS的情况下实现
• 这不是一个运行时特性(例如库功能，带有JavaScript输出的非ECMAScript语法，JS的新语法糖等)
• 这个特性将与 TypeScript's Design Goals 的其他部分一致。

⭐ 建议

当实现一个具有返回类型 never 的抽象方法时，如果方法体包含显式的 throw 并且没有包括隐式 return 语句，则具体实现的返回类型应被推断为 never 。

📃 动机示例

工作台复现：

// @allowJs
// @checkJs
// @noEmit
// @noImplicitAny: false
// @target: ESNext
// @module: ESNext
// @lib: ESNext

// @filename: tokens.d.ts
// Based on: https://github.com/engine262/engine262/tree/main/src/parser/tokens.mjs
export enum Token {
	// ...
	EOS = 13,
	// ...
}

// @filename: Lexer.d.ts
// Based on: https://github.com/engine262/engine262/tree/main/src/parser/Lexer.mjs
import { Token } from "./tokens.js";

export interface ParsedToken {
	type: Token;
	// ...
}

export abstract class Lexer {
	// ...
	peek(): ParsedToken;

	// ...
	abstract createSyntaxError(
		context: object | number | undefined,
		template: string,
		templateArgs: readonly unknown[]
	): SyntaxError;
	abstract raiseEarly(
		template: string,
		context?: object | number,
		...templateArgs: readonly unknown[]
	): SyntaxError;
	abstract raise(
	//          ^?
		template: string,
		context?: object | number,
		...templateArgs: readonly unknown[]
	): never;
	abstract unexpected(
		context?: object | number,
		...templateArgs: readonly unknown[]
	): never;
}

// @filename: Parser.js
// Based on: https://github.com/engine262/engine262/tree/main/src/parser/Parser.mjs
import { Lexer } from "./Lexer.js";
import { Token } from "./tokens.js";

export class Parser extends Lexer {
	earlyErrors = new globalThis.Set();

	createSyntaxError(context = this.peek(), template, templateArgs) {
		if (template === "UnexpectedToken" && context.type === Token.EOS) {
			template = "UnexpectedEOS";
		}
		// ...
		return new globalThis.SyntaxError(/* ... */);
	}

	raiseEarly(template, context, ...templateArgs) {
		const e = this.createSyntaxError(context, template, templateArgs);
		this.earlyErrors.add(e);
		return e;
	}

	// Expected return type:	never
	//   Actual return type:	void
	raise(template, context, ...templateArgs) {
	// ^?
		throw this.createSyntaxError(context, template, templateArgs);
	}

	unexpected(context, ...templateArgs) {
		return this.raise(context, "UnexpectedToken", templateArgs);
	}
}

💻 用例

在编写 engine262 解析器时获得更好的类型推断。

相关问题

• Consider inferring class members types by implemented interface members (continuation of #340) #32082