{"action":"opened","issue":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/1636","repository_url":"https://api.github.com/repos/typetools/checker-framework","labels_url":"https://api.github.com/repos/typetools/checker-framework/issues/1636/labels{/name}","comments_url":"https://api.github.com/repos/typetools/checker-framework/issues/1636/comments","events_url":"https://api.github.com/repos/typetools/checker-framework/issues/1636/events","html_url":"https://github.com/typetools/checker-framework/issues/1636","id":271539193,"number":1636,"title":"ElementAnnotationUtil.getLocationTypeADT: invalid location INNER_TYPE for type:","user":{"login":"smillst","id":13260174,"avatar_url":"https://avatars1.githubusercontent.com/u/13260174?v=4","gravatar_id":"","url":"https://api.github.com/users/smillst","html_url":"https://github.com/smillst","followers_url":"https://api.github.com/users/smillst/followers","following_url":"https://api.github.com/users/smillst/following{/other_user}","gists_url":"https://api.github.com/users/smillst/gists{/gist_id}","starred_url":"https://api.github.com/users/smillst/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smillst/subscriptions","organizations_url":"https://api.github.com/users/smillst/orgs","repos_url":"https://api.github.com/users/smillst/repos","events_url":"https://api.github.com/users/smillst/events{/privacy}","received_events_url":"https://api.github.com/users/smillst/received_events","type":"User","site_admin":false},"labels":[{"id":324385029,"url":"https://api.github.com/repos/typetools/checker-framework/labels/crash","name":"crash","color":"e11d21","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-11-06T16:36:23Z","updated_at":"2017-11-06T16:36:23Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"I haven't minimized the test case yet, but it can be reproduced as follows:\r\n\r\n```\r\njavacheck -processor nullness  annotated-jdk8u-jdk/src/share/classes/sun/security/provider/DomainKeyStore.java -cp $JAVA_HOME//lib/tools.jar -XDignore.symbol.file=true -AprintErrorStack\r\n```\r\n```\r\nerror: ElementAnnotationUtil.getLocationTypeADT: invalid location INNER_TYPE for type: SimpleEntry\r\n  Compilation unit: sun/security/provider/DomainKeyStore.java\r\n  Exception: java.lang.Throwable; Stack trace: org.checkerframework.framework.source.SourceChecker.errorAbort(SourceChecker.java:727)\r\n  org.checkerframework.javacutil.ErrorReporter.errorAbort(ErrorReporter.java:41)\r\n  org.checkerframework.framework.util.element.ElementAnnotationUtil.getLocationTypeADT(ElementAnnotationUtil.java:443)\r\n  org.checkerframework.framework.util.element.ElementAnnotationUtil.getTypeAtLocation(ElementAnnotationUtil.java:374)\r\n  org.checkerframework.framework.util.element.ElementAnnotationUtil.annotateViaTypeAnnoPosition(ElementAnnotationUtil.java:279)\r\n  org.checkerframework.framework.util.element.MethodApplier.handleTargeted(MethodApplier.java:154)\r\n  org.checkerframework.framework.util.element.TargetedElementAnnotationApplier.extractAndApply(TargetedElementAnnotationApplier.java:193)\r\n  org.checkerframework.framework.util.element.MethodApplier.extractAndApply(MethodApplier.java:139)\r\n  org.checkerframework.framework.util.element.MethodApplier.apply(MethodApplier.java:53)\r\n  org.checkerframework.framework.type.ElementAnnotationApplier.apply(ElementAnnotationApplier.java:82)\r\n  org.checkerframework.framework.type.AnnotatedTypeFactory.fromElement(AnnotatedTypeFactory.java:1093)\r\n```\r\n"}}
{"actor":{"display_login":"smillst"}}