Do not check constructor result

opprop · Apr 12, 2024 · bee540d · bee540d
1 parent b36c527
commit bee540d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/main/java/pico/typecheck/PICONoInitVisitor.java b/src/main/java/pico/typecheck/PICONoInitVisitor.java
@@ -69,6 +69,12 @@ protected TypeValidator createTypeValidator() {
         return new PICOValidator(checker, this, atypeFactory);
     }
 
+    @Override
+    protected void checkConstructorResult(
+            AnnotatedExecutableType constructorType, ExecutableElement constructorElement) {
+
+    }
+
     // This method is for validating usage of mutability qualifier is conformable to element
     // declaration,
     // Ugly thing here is that declarationType is not the result of calling the other method -