BadImport: SourcePositionException 正在为带有 TYPE_USE 注解的记录组件构建建议的修复

What did you expect to see? The ordinary BadImport finding with a working suggested fix, exactly as produced when the annotation is removed: Repro.java:5: warning: [BadImport] Importing nested classes/static methods/static fields with commonly-used names can make code harder to read [...] Here we recommend using qualified class: Outer. public record Repro(Key key) {} ^ (see https://errorprone.info/bugpattern/BadImport) Did you mean 'public record Repro(Outer.Key key) {}'?