Don't check ObjectIdentity if it is infer mode

opprop · May 31, 2024 · b620abe · b620abe
1 parent 8eb5c37
commit b620abe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/pico/inference/PICOInferenceVisitor.java b/src/main/java/pico/inference/PICOInferenceVisitor.java
@@ -481,7 +481,7 @@ public Void visitMethod(MethodTree node, Void p) {
         flexibleOverrideChecker(node);
 
         // ObjectIdentityMethod check
-        if (PICOTypeUtil.isObjectIdentityMethod(node, atypeFactory)) {
+        if (!infer && PICOTypeUtil.isObjectIdentityMethod(node, atypeFactory)) {
             ObjectIdentityMethodEnforcer.check(
                     atypeFactory.getPath(node.getBody()), (PICOInferenceRealTypeFactory) atypeFactory, checker);
         }