Revert "Fix for feature request typetools#3313 in Aliasing Checker"

This reverts commit fd536c4.
aditya3434 · Jun 11, 2020 · 629a1a9 · 629a1a9
1 parent 97ff12d
commit 629a1a9
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/framework/src/main/java/org/checkerframework/common/aliasing/AliasingVisitor.java b/framework/src/main/java/org/checkerframework/common/aliasing/AliasingVisitor.java
@@ -70,8 +70,7 @@ public Void visitMethodInvocation(MethodInvocationTree node, Void p) {
                 // Check if a call to super() might create an alias: that
                 // happens when the parent's respective constructor is not @Unique.
                 AnnotatedTypeMirror superResult = atypeFactory.getAnnotatedType(node);
-                if ((!superResult.hasAnnotation(Unique.class))
-                        && (!superResult.toString().equals("@MaybeAliased Object"))) {
+                if (!superResult.hasAnnotation(Unique.class)) {
                     checker.reportError(node, "unique.leaked");
                 }
             } else {
@@ -256,8 +255,7 @@ protected void checkThisOrSuperConstructorCall(
             // Check if a call to super() might create an alias: that
             // happens when the parent's respective constructor is not @Unique.
             AnnotatedTypeMirror superResult = atypeFactory.getAnnotatedType(superCall);
-            if ((!superResult.hasAnnotation(Unique.class))
-                    && (!superResult.toString().equals("@MaybeAliased Object"))) {
+            if (!superResult.hasAnnotation(Unique.class)) {
                 checker.reportError(superCall, "unique.leaked");
             }
         }
@@ -273,7 +271,7 @@ private boolean canBeLeaked(Tree exp) {
         AnnotatedTypeMirror type = atypeFactory.getAnnotatedType(exp);
         boolean isMethodInvocation = exp.getKind() == Kind.METHOD_INVOCATION;
         boolean isNewClass = exp.getKind() == Kind.NEW_CLASS;
-        return type.hasAnnotation(Unique.class) && !isMethodInvocation && !isNewClass;
+        return type.hasExplicitAnnotation(Unique.class) && !isMethodInvocation && !isNewClass;
     }
 
     private boolean isInUniqueConstructor() {