mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
IDEADEV-41088
This commit is contained in:
+1
-1
@@ -148,7 +148,7 @@ public class AnnotationsHighlightUtil {
|
||||
if (annotation == annotationToCheck) continue;
|
||||
PsiJavaCodeReferenceElement nameRef = annotation.getNameReferenceElement();
|
||||
if (nameRef == null) continue;
|
||||
PsiClass aClass = (PsiClass)nameRef.resolve();
|
||||
PsiElement aClass = nameRef.resolve();
|
||||
if (resolved.equals(aClass)) {
|
||||
return HighlightInfo.createHighlightInfo(HighlightInfoType.ERROR, element, JavaErrorMessages.message("annotation.duplicate.annotation"));
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user