github / github/codeql

Java: `RefType.inherits(Member)` does not work for member types

未关闭
#5,596 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
Java question
主要语言
CodeQL
星标
10.1k
派生
2.1k
平均合并
2 天 15 小时
30 天内合并 PR
141

描述

The predicate [`RefType.inherits(Member)`](https://codeql.github.com/codeql-standard-libraries/java/semmle/code/java/Type.qll/predicate.Type$RefType$inherits.1.html) does not work for member types (member classes or member interfaces), see also #5591.
If this is the intended behavior, it should at least be documented.

Currently the compiler does not even permit using a `NestedType` as argument for `inherits`.

Edit: However, based on [JLS 16 §8.2](https://docs.oracle.com/javase/specs/jls/se16/html/jls-8.html#jls-8.2) member types are "inherited", so it might be good if CodeQL reflected this.

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。