ceylon/ceylon-spec — Issue #156: enumerated type parameter should be assignable to itself
Author: gavinking
Created: 2012-02-01 11:21:48+00:00
State: open
Labels: improvement

The following is sound but is rejected by the compiler:

void foobar(T t)
given T of String|Integer {
foobar(t);
}