{"issue":{"state":"closed","created_at":"2011-11-23T03:54:20Z","updated_at":"2011-11-24T09:41:36Z","comments":2,"user":{"gravatar_id":"8672f1c3b11cc7390ec341ac25d7e88e","id":579974,"url":"https://api.github.com/users/gavinking","login":"gavinking","avatar_url":"https://secure.gravatar.com/avatar/8672f1c3b11cc7390ec341ac25d7e88e?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png"},"body":"The type `A&B` where `A` and `B` are both classes, and neither is a supertype of the other, is obviously `Bottom`.\r\n\r\nLikewise for the type `Nothing&B` where `B` is an interface.\r\n\r\nWe should take these identities into account when canonicalizing.","assignee":null,"id":2326312,"pull_request":{"patch_url":null,"html_url":null,"diff_url":null},"number":64,"labels":[],"title":"Analyse empty meets during type canonicalization","closed_at":"2011-11-23T05:48:16Z","html_url":"https://github.com/ceylon/ceylon-spec/issues/64","milestone":null,"url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/64"},"action":"created","comment":{"created_at":"2011-11-24T09:41:36Z","updated_at":"2011-11-24T09:41:36Z","user":{"gravatar_id":"f350819e50453bd9237769a3db644f28","id":778793,"url":"https://api.github.com/users/quintesse","login":"quintesse","avatar_url":"https://secure.gravatar.com/avatar/f350819e50453bd9237769a3db644f28?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png"},"body":"It might be a good idea to improve the error messages a bit if possible because this change made a test fail and it was complaining about not being able to find method **b()** on **B** after having done a `if (is A&B x)` and I had no idea what was happening, luckily Stef did :)","id":2860610,"url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/comments/2860610"}}