github / github/codeql

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

未關閉
#5,404 1 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視
question
主要語言
CodeQL
星號
10.1k
分支
2.1k
平均合併
2 天 15 小時
30 天內合併 PR
141

描述

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.

貢獻指南

開啟貢獻指南

評估

這個 Issue 還沒有評估資料。

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。