Disallowing `throw`ing expressions that aren't assignable to `Error`

Search Terms

throw, throwing non-error

Suggestion

Add typechecking to throw statement, allowing it to only throw Errors and anys.

Code currently allowed, but with strong potential for bugs:

throw null;
throw undefined;
throw 'foobar';
throw ''; 
throw 42;
throw {foo: 'bar'};
throw potentiallyNullable; // with –strictNullChecks

After implementing this feature request, such code wouldn't be allowed.

Use Cases

Even if it's possible to throw non-errors in JavaScript code, it's extremely confusing and hard to debug. Failing to properly handle such cases happened even to Mozilla.

Examples

Forbidden code:

throw null;
throw undefined;
throw 'foobar';
throw 42;
throw {foo: 'bar'};
throw potentiallyNullable; // with –strictNullChecks

Allowed:

throw new Error();
throw null as any;

Checklist

My suggestion meets these guidelines:

• This wouldn't be a breaking change in existing TypeScript/JavaScript code - it can break existing TypeScript 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.

Issue không cung cấp đường dẫn tệp hoặc đường dẫn kiểm thử nào. Hãy bắt đầu bằng cách xác định phần kiểm tra kiểu của các câu lệnh throw trong trình biên dịch TypeScript và các kiểm thử của nó, sau đó xem xét cách các biểu thức nullable và any được xử lý. Hoàn thành khi các biểu thức không phải Error được liệt kê bị từ chối, trong khi các biểu thức Error và any vẫn được cho phép, mà không thay đổi JavaScript được phát ra.