ceylon/ceylon-spec — Issue #138: check variance of enumerated subtypes 
Author: gavinking
Created: 2012-01-20 02:28:24+00:00
State: open
Labels: bug, high priority

Ross points out that enumerated subtypes of a type must have the same variance as the supertype.