ceylon/ceylon-spec — Issue #64: Analyse empty meets during type canonicalization
Author: gavinking
Created: 2011-11-23 03:54:20+00:00
State: open

The type `A&B` where `A` and `B` are both classes, and neither is a supertype of the other, is obviously `Bottom`.

Likewise for the type `Nothing&B` where `B` is an interface.

We should take these identities into account when canonicalizing.