{"action":"created","issue":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/1238","repository_url":"https://api.github.com/repos/typetools/checker-framework","labels_url":"https://api.github.com/repos/typetools/checker-framework/issues/1238/labels{/name}","comments_url":"https://api.github.com/repos/typetools/checker-framework/issues/1238/comments","events_url":"https://api.github.com/repos/typetools/checker-framework/issues/1238/events","html_url":"https://github.com/typetools/checker-framework/pull/1238","id":222252728,"number":1238,"title":"Correct lub for uninfered wildcards ","user":{"login":"smillst","id":13260174,"avatar_url":"https://avatars2.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},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-04-17T22:47:41Z","updated_at":"2017-04-17T23:17:23Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/typetools/checker-framework/pulls/1238","html_url":"https://github.com/typetools/checker-framework/pull/1238","diff_url":"https://github.com/typetools/checker-framework/pull/1238.diff","patch_url":"https://github.com/typetools/checker-framework/pull/1238.patch"},"body":"framework/tests/all-systems/LubRawTypes.java tests the case where `getAnnotations()` is empty.  I'm not sure if the case where `type1.getAnnotations().size() != type2.getAnnotations().size()` can happens in practice, but if it does, it shouldn't cause a crash.\r\n\r\nThis corrects a problem @wmdietl found in #1235."},"comment":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/comments/294622772","html_url":"https://github.com/typetools/checker-framework/pull/1238#issuecomment-294622772","issue_url":"https://api.github.com/repos/typetools/checker-framework/issues/1238","id":294622772,"user":{"login":"smillst","id":13260174,"avatar_url":"https://avatars2.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":"2017-04-17T23:17:23Z","updated_at":"2017-04-17T23:17:23Z","body":"I added a test case where the two sets are different sizes.  So, this is the correct change."}}
{"actor":{"display_login":"smillst"}}