{"action":"created","issue":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/928","repository_url":"https://api.github.com/repos/typetools/checker-framework","labels_url":"https://api.github.com/repos/typetools/checker-framework/issues/928/labels{/name}","comments_url":"https://api.github.com/repos/typetools/checker-framework/issues/928/comments","events_url":"https://api.github.com/repos/typetools/checker-framework/issues/928/events","html_url":"https://github.com/typetools/checker-framework/pull/928","id":180110783,"number":928,"title":"The primary annotation on an intersection type is the GLB of the prim…","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},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-09-29T17:21:32Z","updated_at":"2016-09-29T17:34:52Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/typetools/checker-framework/pulls/928","html_url":"https://github.com/typetools/checker-framework/pull/928","diff_url":"https://github.com/typetools/checker-framework/pull/928.diff","patch_url":"https://github.com/typetools/checker-framework/pull/928.patch"},"body":"The primary annotation on an intersection type is the GLB of the primary annotations of the bounds (a.k.a direct super types).  Calling addAnnotation on an annotated intersection type adds that annotation to any bound that does not have an annotation in that hierarchy. (Tested on daikon-typecheck)  \r\n\r\n(More clean up of intersections is required in the rest of the code, but this must wait until LUB(#643) is corrected.)  \r\n\r\nFixes #868"},"comment":{"url":"https://api.github.com/repos/typetools/checker-framework/issues/comments/250536834","html_url":"https://github.com/typetools/checker-framework/pull/928#issuecomment-250536834","issue_url":"https://api.github.com/repos/typetools/checker-framework/issues/928","id":250536834,"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-09-29T17:34:52Z","updated_at":"2016-09-29T17:34:52Z","body":"Looks good to me."}}
{"actor":{"display_login":"mernst"}}