ceylon/ceylon-spec — Issue #142: Circularity detection broken
Author: gavinking
Created: 2012-01-21 04:14:11+00:00
State: open
Labels: bug, high priority

The following code passes the type checker:

interface Something satisfies Anything {}
interface SomethingElse satisfies Anything {}

interface Anything of Something | SomethingElse {}

But it causes havoc in the IDE's incremental compilation.