{"action":"created","issue":{"url":"https://api.github.com/repos/kelloggm/checker-framework/issues/21","repository_url":"https://api.github.com/repos/kelloggm/checker-framework","labels_url":"https://api.github.com/repos/kelloggm/checker-framework/issues/21/labels{/name}","comments_url":"https://api.github.com/repos/kelloggm/checker-framework/issues/21/comments","events_url":"https://api.github.com/repos/kelloggm/checker-framework/issues/21/events","html_url":"https://github.com/kelloggm/checker-framework/issues/21","id":188404513,"number":21,"title":"UBC fails at something simple","user":{"login":"kelloggm","id":3960502,"avatar_url":"https://avatars.githubusercontent.com/u/3960502?v=3","gravatar_id":"","url":"https://api.github.com/users/kelloggm","html_url":"https://github.com/kelloggm","followers_url":"https://api.github.com/users/kelloggm/followers","following_url":"https://api.github.com/users/kelloggm/following{/other_user}","gists_url":"https://api.github.com/users/kelloggm/gists{/gist_id}","starred_url":"https://api.github.com/users/kelloggm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kelloggm/subscriptions","organizations_url":"https://api.github.com/users/kelloggm/orgs","repos_url":"https://api.github.com/users/kelloggm/repos","events_url":"https://api.github.com/users/kelloggm/events{/privacy}","received_events_url":"https://api.github.com/users/kelloggm/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2016-11-10T02:24:20Z","updated_at":"2016-11-14T16:40:47Z","closed_at":null,"body":"From the pilot study:\r\n\r\nUBC fails to correctly type this:\r\n\r\nfor (int i = 0; i < arr.length && i < arr2.length; i++){\r\n   arr[i] = arr2[i];\r\n}"},"comment":{"url":"https://api.github.com/repos/kelloggm/checker-framework/issues/comments/260388203","html_url":"https://github.com/kelloggm/checker-framework/issues/21#issuecomment-260388203","issue_url":"https://api.github.com/repos/kelloggm/checker-framework/issues/21","id":260388203,"user":{"login":"smillst","id":13260174,"avatar_url":"https://avatars.githubusercontent.com/u/13260174?v=3","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},"created_at":"2016-11-14T16:40:47Z","updated_at":"2016-11-14T16:40:47Z","body":"The type of `i` after `i < arr2.length` should be `@LTL({\"arr\",\"arr2\"})`.  Currently, the code tries to refine the type if `i` to `@LTL(\"arr2\")`, which is not more specific than the previous value of `@LTL(\"arr\")`.  So, the transfer function needs to take the GLB of the previous value and the new value and insert the GLB in the store."}}
{"actor":{"display_login":"smillst"}}