{"action":"reopened","issue":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/352","repository_url":"https://api.github.com/repos/typetools/checker-framework","labels_url":"https://api.github.com/repos/typetools/checker-framework/issues/352/labels{/name}","comments_url":"https://api.github.com/repos/typetools/checker-framework/issues/352/comments","events_url":"https://api.github.com/repos/typetools/checker-framework/issues/352/events","html_url":"https://github.com/typetools/checker-framework/issues/352","id":92853494,"number":352,"title":"Incorrect annotations on nested class receivers","user":{"login":"GoogleCodeExporter","id":9614759,"avatar_url":"https://avatars.githubusercontent.com/u/9614759?v=3","gravatar_id":"","url":"https://api.github.com/users/GoogleCodeExporter","html_url":"https://github.com/GoogleCodeExporter","followers_url":"https://api.github.com/users/GoogleCodeExporter/followers","following_url":"https://api.github.com/users/GoogleCodeExporter/following{/other_user}","gists_url":"https://api.github.com/users/GoogleCodeExporter/gists{/gist_id}","starred_url":"https://api.github.com/users/GoogleCodeExporter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GoogleCodeExporter/subscriptions","organizations_url":"https://api.github.com/users/GoogleCodeExporter/orgs","repos_url":"https://api.github.com/users/GoogleCodeExporter/repos","events_url":"https://api.github.com/users/GoogleCodeExporter/events{/privacy}","received_events_url":"https://api.github.com/users/GoogleCodeExporter/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/typetools/checker-framework/labels/bug","name":"bug","color":"fc2929"}],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/typetools/checker-framework/milestones/4","html_url":"https://github.com/typetools/checker-framework/milestones/Low","labels_url":"https://api.github.com/repos/typetools/checker-framework/milestones/4/labels","id":1202756,"number":4,"title":"Low","description":null,"creator":{"login":"mernst","id":121025,"avatar_url":"https://avatars.githubusercontent.com/u/121025?v=3","gravatar_id":"","url":"https://api.github.com/users/mernst","html_url":"https://github.com/mernst","followers_url":"https://api.github.com/users/mernst/followers","following_url":"https://api.github.com/users/mernst/following{/other_user}","gists_url":"https://api.github.com/users/mernst/gists{/gist_id}","starred_url":"https://api.github.com/users/mernst/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mernst/subscriptions","organizations_url":"https://api.github.com/users/mernst/orgs","repos_url":"https://api.github.com/users/mernst/repos","events_url":"https://api.github.com/users/mernst/events{/privacy}","received_events_url":"https://api.github.com/users/mernst/received_events","type":"User","site_admin":false},"open_issues":38,"closed_issues":0,"state":"open","created_at":"2015-07-10T16:56:51Z","updated_at":"2016-02-19T23:28:58Z","due_on":null,"closed_at":null},"comments":4,"created_at":"2015-07-03T11:13:55Z","updated_at":"2016-02-19T23:28:58Z","closed_at":null,"body":"```\nWhat steps will reproduce the problem?\n1.\n\nclass Outer {\n\n    class Nested {\n        @Untainted Outer context(@Untainted Outer.@Untainted Nested this) {\n            return Outer.this;\n        }\n    }\n}\n\nOuterThisBug.java:8: error: [return.type.incompatible] incompatible types in \nreturn.\n            return Outer.this;\n                               ^\n  found   : /*DECL*/ @Tainted Outer\n  required: @Untainted Outer\n1 error\n\n\nWhat is the expected output? What do you see instead?\nThe type of the returned Outer should come from context's receiver.\n\nWhat version of the product are you using? On what operating system?\nChecker Framework revision 261dee828a0a\n\nPlease provide any additional information below.\n\n```\n\nOriginal issue reported on code.google.com by `mcart...@cs.washington.edu` on 4 Sep 2014 at 7:41"}}