diff --git a/src/main/java/pico/typecheck/PICONoInitVisitor.java b/src/main/java/pico/typecheck/PICONoInitVisitor.java
index 3d0b775..5daf7e3 100644
--- 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 -