invalid case type allowed

[jvasileff]

By example:

interface Enum<T> of Type1<T, T> {}
class Type1<T,U>() satisfies Enum<T> {}

shared void caseTypes() {
    Enum<String> x = Type1<String, Integer>();
    switch (x)
    case (is Type1<String,String>) {}
    // Exception in thread "main"
    // com.redhat.ceylon.compiler.java.language.EnumeratedTypeError:
    // Supposedly exhaustive switch was not exhaustive
}

[gavinking]

Fixed the bug but need to update the spec to document a new restriction.

[gavinking]

Spec updated. Closing.