Recognize contractual non-nullness of standard library functions

The nullness analyzer does not recognize that certain standard library functions will, contractually, never return null. A common example would be Integer::toString.

These methods will generate unchecked cast warnings if assigned to a @Nonnull field.

As I understand, the plugin relies on Eclipse JDT for nullness analysis. I have come across LastNPE, which publishes JDT-compatible external null annotation files for many common libraries.

Would it be possible to include these annotations by default? Alternatively, if this is not desirable, could EAA files be supported by the plugin?

Environment

• Operating System: Windows 10 Enterprise
• JDK version: openjdk 11.0.12 2021-07-20
• Visual Studio Code version: 1.71.2
• Java extension version: v1.11.0

Issue không nêu tệp mã nguồn hay bài kiểm thử nào. Hãy bắt đầu bằng cách kiểm tra cách extension ủy quyền việc phân tích nullness cho Eclipse JDT và so sánh các annotation tương thích với JDT của LastNPE với hỗ trợ EAA được yêu cầu; công việc được xem là hoàn tất khi các phương thức của thư viện chuẩn như Integer::toString không còn tạo ra cảnh báo unchecked-cast khi được gán cho các trường @Nonnull.