ceylon/ceylon-spec — Issue #147: Member type of intersection
Author: gavinking
Created: 2012-01-22 19:38:23+00:00
State: open
Labels: bug, high priority

Related to #136 and #137. Consider:

```
interface Constant {
shared formal Type eval();
}

class FloatLiteral(Float float)
satisfies Constant {
shared Float float = float;
shared actual Float eval() {
return float;
}
}
```

1. Given the type `Constant&FloatLiteral`, `eval()` has type `Type`.
2. Given the type `FloatLiteral&Constant`, `eval()` has type `Float`.

It should be `Type&Float`.