Feature: Analyze @throws tags

Description

Given a function has a @throws JSDoc tag, it would be helpful to apply some analysis and raise a compiler warning (or, if configured, an error) when the caller does not handle the error and it doesn't declare its own @throws tag.

Examples

/**
 * @throws {SomeException}
 */
function myFunction() {
  // some logic
  // then for some reason we throw an exception
  if (somethingWentWrong) {
    throw new SomeException("something happened");
  }
  // some more logic
}

function potentialMess() {
  myFunction(); // Compiler error: 'myFunction' may throw `SomeException`. ts(9876)
}

/**
 * @throws {SomeException}
 */
function letItBubble() {
  myFunction(); // No compiler errors
}

function aFunctionThatHandlesTheException() {
  try {
    myFunction(); // No compiler errors
  }
  catch (error) {
    // do something with the error
  }
}

Questions

• Ideally, it would be even better if VSCode realizes that myFunction throws an error, and then @throws is not required for the analysis. Still, this approach would be useful when dealing with external code/interfaces.

• It is my understanding that JSDoc's @throws is allowed once -- if this is correct, then VSCode could ignore this and accept multiple tags anyway? Otherwise, maybe we can use a different tag, e.g. @exception?

Bắt đầu từ các ví dụ JSDoc @throws của issue và theo dõi cách trình biên dịch TypeScript xử lý các lời gọi, lỗi được ném ra và luồng điều khiển try/catch. Xác định hoàn thành là có cảnh báo hoặc lỗi có thể cấu hình đối với các lời gọi chưa được xử lý, lan truyền khi hàm gọi khai báo @throws và không có chẩn đoán khi ngoại lệ được bắt; các câu hỏi về inferred throws và các tag lặp lại cần có quyết định về thiết kế.