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

[Marcono1234]

Per JLS (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 (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.

[github-actions]

This issue is stale because it has been open 14 days with no activity. Comment or remove the stale label in order to avoid having this issue closed in 7 days.