{"action":"created","issue":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/69","repository_url":"https://api.github.com/repos/typetools/checker-framework","labels_url":"https://api.github.com/repos/typetools/checker-framework/issues/69/labels{/name}","comments_url":"https://api.github.com/repos/typetools/checker-framework/issues/69/comments","events_url":"https://api.github.com/repos/typetools/checker-framework/issues/69/events","html_url":"https://github.com/typetools/checker-framework/issues/69","id":92852760,"number":69,"title":"Improper type-checking of the receiver of an inner class constructor","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":"closed","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":2,"state":"open","created_at":"2015-07-10T16:56:51Z","updated_at":"2016-04-20T21:13:18Z","due_on":null,"closed_at":null},"comments":2,"created_at":"2015-07-03T11:10:14Z","updated_at":"2016-04-20T21:13:18Z","closed_at":"2016-04-20T21:13:18Z","body":"```\nConsider the following Javari-annotated class:\n\nimport checkers.javari.quals.ReadOnly;\npublic class Bar1 {\n    int x;\n\n    public class Bar2 {\n        public Bar2() @ReadOnly {\n            Bar1.this.x = 2;\n        }\n    }\n\n    public int getX() @ReadOnly {\n        return x;\n    }\n}\n\nThe receiver for the Bar2 constructor is annotated @ReadOnly, yet the receiver \n(Bar1.this) is being modified.  I expect Javari to catch this type error; \ninstead it succeeds at type checking.\n```\n\nOriginal issue reported on code.google.com by `david.lazar` on 7 Jul 2010 at 8:31"},"comment":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/comments/212607631","html_url":"https://github.com/typetools/checker-framework/issues/69#issuecomment-212607631","issue_url":"https://api.github.com/repos/typetools/checker-framework/issues/69","id":212607631,"user":{"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},"created_at":"2016-04-20T21:13:18Z","updated_at":"2016-04-20T21:13:18Z","body":"Javari Checker will be removed.\r\nThis issue can be re-opened if it is relevant to other checkers."}}