{"action":"opened","issue":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/953","repository_url":"https://api.github.com/repos/typetools/checker-framework","labels_url":"https://api.github.com/repos/typetools/checker-framework/issues/953/labels{/name}","comments_url":"https://api.github.com/repos/typetools/checker-framework/issues/953/comments","events_url":"https://api.github.com/repos/typetools/checker-framework/issues/953/events","html_url":"https://github.com/typetools/checker-framework/issues/953","id":184568707,"number":953,"title":"error: AsSuperVisitor: type is not an erased subtype of supertype.","user":{"login":"twistedsquare","id":2347447,"avatar_url":"https://avatars.githubusercontent.com/u/2347447?v=3","gravatar_id":"","url":"https://api.github.com/users/twistedsquare","html_url":"https://github.com/twistedsquare","followers_url":"https://api.github.com/users/twistedsquare/followers","following_url":"https://api.github.com/users/twistedsquare/following{/other_user}","gists_url":"https://api.github.com/users/twistedsquare/gists{/gist_id}","starred_url":"https://api.github.com/users/twistedsquare/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/twistedsquare/subscriptions","organizations_url":"https://api.github.com/users/twistedsquare/orgs","repos_url":"https://api.github.com/users/twistedsquare/repos","events_url":"https://api.github.com/users/twistedsquare/events{/privacy}","received_events_url":"https://api.github.com/users/twistedsquare/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-10-21T21:01:25Z","updated_at":"2016-10-21T21:01:25Z","closed_at":null,"body":"Here is a fairly simple program (cut down from my real code) with a line of stream-processing code:\r\n\r\n```\r\nimport java.util.*;\r\nimport java.util.stream.Collectors;\r\n\r\nclass CheckerTest\r\n{\r\n    public static void test()\r\n    {\r\n        List<String> initial = new ArrayList<>();\r\n        List<Integer> counts = initial.stream().skip(1).map(l -> count(\"\", l)).collect(Collectors.toList());\r\n    }\r\n    private static int count(String s, String l)\r\n    {\r\n    \treturn 0;\r\n    }\r\n}\r\n```\r\n\r\nWhen I try to compile that using `javac -processor NullnessChecker CheckerTest.java` (version 2.1.4) I get these errors:\r\n\r\n```\r\nerror: AsSuperVisitor: type is not an erased subtype of supertype.\r\n  type: Object\r\n  superType: Integer; invoke the compiler with -AprintErrorStack to see the stack trace.\r\nerror: AsSuperVisitor: type is not an erased subtype of supertype.\r\n  type: @Initialized @Nullable Object\r\n  superType: Integer; invoke the compiler with -AprintErrorStack to see the stack trace.\r\n2 errors\r\n```\r\n\r\nI don't think there should be any errors: it's perfectly valid Java code which javac compiles fine when not running the annotation processor."}}
{"actor":{"display_login":"twistedsquare"}}