diff --git a/src/java.base/share/classes/java/lang/Object.java b/src/java.base/share/classes/java/lang/Object.java index 1a050b59e8c72..4267cafa5106b 100644 --- a/src/java.base/share/classes/java/lang/Object.java +++ b/src/java.base/share/classes/java/lang/Object.java @@ -38,6 +38,7 @@ import org.checkerframework.framework.qual.AnnotatedFor; import org.checkerframework.framework.qual.CFComment; import org.checkerframework.common.aliasing.qual.Unique; +import org.checkerframework.checker.interning.qual.UsesObjectEquals; import jdk.internal.HotSpotIntrinsicCandidate; @@ -52,7 +53,7 @@ */ @AnnotatedFor({"aliasing", "guieffect", "index", "lock", "nullness"}) @PolyUIType -public class Object { +public @UsesObjectEquals class Object { private static native void registerNatives(); static {