diff --git a/src/checkers/inference/InferenceAnnotatedTypeFactory.java b/src/checkers/inference/InferenceAnnotatedTypeFactory.java index 8d6ac9e2d..7a398d17a 100644 --- a/src/checkers/inference/InferenceAnnotatedTypeFactory.java +++ b/src/checkers/inference/InferenceAnnotatedTypeFactory.java @@ -43,6 +43,7 @@ import javax.lang.model.element.ExecutableElement; import javax.lang.model.element.TypeParameterElement; import javax.lang.model.element.VariableElement; +import javax.lang.model.type.TypeKind; import javax.lang.model.type.TypeVariable; import checkers.inference.dataflow.InferenceAnalysis; @@ -298,7 +299,7 @@ protected void annotateInheritedFromClass(AnnotatedTypeMirror type, @Override public void postAsMemberOf(final AnnotatedTypeMirror type, final AnnotatedTypeMirror owner, final Element element) { - if (viewpointAdapter != null) { + if (viewpointAdapter != null && type.getKind() != TypeKind.EXECUTABLE) { viewpointAdapter.viewpointAdaptMember(owner, element, type); } }