{"action":"created","issue":{"url":"https://api.github.com/repos/dart-lang/dev_compiler/issues/70","labels_url":"https://api.github.com/repos/dart-lang/dev_compiler/issues/70/labels{/name}","comments_url":"https://api.github.com/repos/dart-lang/dev_compiler/issues/70/comments","events_url":"https://api.github.com/repos/dart-lang/dev_compiler/issues/70/events","html_url":"https://github.com/dart-lang/dev_compiler/issues/70","id":59253889,"number":70,"title":"Implement local initialized-before-read analysis","user":{"login":"vsmenon","id":2119553,"avatar_url":"https://avatars.githubusercontent.com/u/2119553?v=3","gravatar_id":"","url":"https://api.github.com/users/vsmenon","html_url":"https://github.com/vsmenon","followers_url":"https://api.github.com/users/vsmenon/followers","following_url":"https://api.github.com/users/vsmenon/following{/other_user}","gists_url":"https://api.github.com/users/vsmenon/gists{/gist_id}","starred_url":"https://api.github.com/users/vsmenon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vsmenon/subscriptions","organizations_url":"https://api.github.com/users/vsmenon/orgs","repos_url":"https://api.github.com/users/vsmenon/repos","events_url":"https://api.github.com/users/vsmenon/events{/privacy}","received_events_url":"https://api.github.com/users/vsmenon/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/dart-lang/dev_compiler/labels/task","name":"task","color":"fbca04"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2015-02-27T15:52:30Z","updated_at":"2015-06-26T21:40:34Z","closed_at":null,"body":"We need this to really do non-nullability.  E.g., if T is non-nullable, we currently complain that x is not initialized even though it's guaranteed to be written before a read:\r\n\r\n    T x;\r\n    if (...) {\r\n      x = y;\r\n    } else {\r\n      x = z;\r\n    }\r\n    foo(x);\r\n"},"comment":{"url":"https://api.github.com/repos/dart-lang/dev_compiler/issues/comments/115896858","html_url":"https://github.com/dart-lang/dev_compiler/issues/70#issuecomment-115896858","issue_url":"https://api.github.com/repos/dart-lang/dev_compiler/issues/70","id":115896858,"user":{"login":"chalin","id":4140793,"avatar_url":"https://avatars.githubusercontent.com/u/4140793?v=3","gravatar_id":"","url":"https://api.github.com/users/chalin","html_url":"https://github.com/chalin","followers_url":"https://api.github.com/users/chalin/followers","following_url":"https://api.github.com/users/chalin/following{/other_user}","gists_url":"https://api.github.com/users/chalin/gists{/gist_id}","starred_url":"https://api.github.com/users/chalin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chalin/subscriptions","organizations_url":"https://api.github.com/users/chalin/orgs","repos_url":"https://api.github.com/users/chalin/repos","events_url":"https://api.github.com/users/chalin/events{/privacy}","received_events_url":"https://api.github.com/users/chalin/received_events","type":"User","site_admin":false},"created_at":"2015-06-26T21:40:34Z","updated_at":"2015-06-26T21:40:34Z","body":"FYI, this is on my NNBD Analyzer to-do list (via feature [E.3.6 Reducing the annotation burden for local variables, an alternative](https://github.com/chalin/DEP-non-null/blob/master/doc/dep-non-null-AUTOGENERATED-DO-NOT-EDIT.md#local-var-analysis)), though I'm not sure how soon I will get to it. But if you guys implement it first (in a manner that it can be used in/ported to the analyzer) that would be grand :)."}}