github / github/codeql

Java: IntersectionType does not match multiple upper bounds of type variable

Đang mở
#5,404 1 bình luận 0 reaction 0 người được giao Xem trên GitHub
question
Ngôn ngữ chính
CodeQL
Star
10.1k
Fork
2.1k
Merge trung bình
2 ngày 15 giờ
Pull request đã merge (30 ngày)
141

Mô tả

Per [JLS](https://docs.oracle.com/javase/specs/jls/se15/html/jls-4.html#jls-4.9) (emphasis mine):
> Intersection types **can be derived from type parameter bounds (§4.4)** and cast expressions (§15.16); they also arise in the processes of capture conversion (§5.1.10) and least upper bound computation (§4.10.4).

Currently it appears to only match types of cast expressions. (Not sure if it would be useful to cover the other cases as well)
This also contradicts with CodeQL's documentation for [`IntersectionTypeAccess`](https://codeql.github.com/codeql-standard-libraries/java/semmle/code/java/Expr.qll/type.Expr$IntersectionTypeAccess.html) (or at least can cause some confusion):
> Note that intersection types can also occur as the bound of a bounded type, such as a type variable. Each component of such a bound is represented by the QL class TypeBound.

However, once `IntersectionType` also matches bounds of type variables, then `IntersectionTypeAccess` might also match those, so its documentation would need to be adjusted.

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.