{"issue":{"created_at":"2011-11-14T04:53:14Z","state":"closed","updated_at":"2011-11-24T20:14:02Z","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":"If the meet of `Foo&Bar` is provably empty then `if (is Foo bar)` is unsatisfiable, and so the `if` block is unreachable. This should result in a compile error. Similar analysis should be done for `switch (bar) case (is Foo)`.","assignee":null,"id":2225080,"number":47,"labels":[{"name":"feature","color":"02e10c","url":"https://api.github.com/repos/ceylon/ceylon-spec/labels/feature"}],"pull_request":{"patch_url":null,"html_url":null,"diff_url":null},"title":"Static analysis for empty meet in if (is) and case (is)","closed_at":"2011-11-24T20:14:02Z","html_url":"https://github.com/ceylon/ceylon-spec/issues/47","milestone":null,"url":"https://api.github.com/repos/ceylon/ceylon-spec/issues/47"},"action":"closed"}