ceylon/ceylon-compiler — Issue #319: Inheritance of two multiple instantiations of a covariant or contravariant type
Author: gavinking
Created: 2012-01-07 15:47:52+00:00
State: open
Labels: BUG

Ceylon allows the following:

interface Covariant {}
class Super() satisfies Covariant