{"action":"created","issue":{"url":"https://api.github.com/repos/lampepfl/dotty/issues/805","labels_url":"https://api.github.com/repos/lampepfl/dotty/issues/805/labels{/name}","comments_url":"https://api.github.com/repos/lampepfl/dotty/issues/805/comments","events_url":"https://api.github.com/repos/lampepfl/dotty/issues/805/events","html_url":"https://github.com/lampepfl/dotty/pull/805","id":108317821,"number":805,"title":"Change : freeze bounds","user":{"login":"odersky","id":795990,"avatar_url":"https://avatars.githubusercontent.com/u/795990?v=3","gravatar_id":"","url":"https://api.github.com/users/odersky","html_url":"https://github.com/odersky","followers_url":"https://api.github.com/users/odersky/followers","following_url":"https://api.github.com/users/odersky/following{/other_user}","gists_url":"https://api.github.com/users/odersky/gists{/gist_id}","starred_url":"https://api.github.com/users/odersky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/odersky/subscriptions","organizations_url":"https://api.github.com/users/odersky/orgs","repos_url":"https://api.github.com/users/odersky/repos","events_url":"https://api.github.com/users/odersky/events{/privacy}","received_events_url":"https://api.github.com/users/odersky/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":8,"created_at":"2015-09-25T12:38:53Z","updated_at":"2015-10-06T18:59:09Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/lampepfl/dotty/pulls/805","html_url":"https://github.com/lampepfl/dotty/pull/805","diff_url":"https://github.com/lampepfl/dotty/pull/805.diff","patch_url":"https://github.com/lampepfl/dotty/pull/805.patch"},"body":"There was a big hole in the type system so far in that lubs and glbs (and some other ops as well) used isSubType instead of isSubTypeWhenFrozen. Consequently, taking the lub of, say Set[A] and Set[B]\r\nwould have unified A and B! Keeps the constraints nice and tidy but is wrong. Fixing this uncovered several other problems which needed to be fixed in turn.\r\n\r\nReview by @DarkDimius "},"comment":{"url":"https://api.github.com/repos/lampepfl/dotty/issues/comments/145965795","html_url":"https://github.com/lampepfl/dotty/pull/805#issuecomment-145965795","issue_url":"https://api.github.com/repos/lampepfl/dotty/issues/805","id":145965795,"user":{"login":"odersky","id":795990,"avatar_url":"https://avatars.githubusercontent.com/u/795990?v=3","gravatar_id":"","url":"https://api.github.com/users/odersky","html_url":"https://github.com/odersky","followers_url":"https://api.github.com/users/odersky/followers","following_url":"https://api.github.com/users/odersky/following{/other_user}","gists_url":"https://api.github.com/users/odersky/gists{/gist_id}","starred_url":"https://api.github.com/users/odersky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/odersky/subscriptions","organizations_url":"https://api.github.com/users/odersky/orgs","repos_url":"https://api.github.com/users/odersky/repos","events_url":"https://api.github.com/users/odersky/events{/privacy}","received_events_url":"https://api.github.com/users/odersky/received_events","type":"User","site_admin":false},"created_at":"2015-10-06T18:59:09Z","updated_at":"2015-10-06T18:59:09Z","body":"Going to merge now, I think we got all the reviews we could expect."}}