ceylon/ceylon-spec — Issue #136: "Ambiguous member reference" errors for intersection types
Author: gavinking
Created: 2012-01-20 02:22:38+00:00
State: open
Labels: bug, clarification, high priority

This code:

```
interface X {
shared formal void foo();
}

interface Y {
shared formal void foo();
}

void testxy(X&Y xy) {
xy.foo();
}
```

should result in an error because the reference to `foo()` is ambiguous. But it doesn't, and the spec doesn't even mention this case. So both the spec and typechecker need fixing.