diff --git a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java index 57dfc69ff1f1..447ceb88db27 100644 --- a/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java +++ b/framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java @@ -1433,7 +1433,7 @@ public void postAsMemberOf( addAnnotationFromFieldInvariant(type, owner, (VariableElement) element); } addComputedTypeAnnotations(element, type); - if (viewpointAdapter != null) { + if (viewpointAdapter != null && type.getKind() != TypeKind.EXECUTABLE) { viewpointAdapter.viewpointAdaptMember(owner, element, type); } }