ceylon/ceylon-compiler — Issue #354: Issues with boxing, inheritance and covariance
Author: FroMage
Created: 2012-02-01 09:46:17+00:00
State: open
Labels: BUG

I think we have two bugs if we have the following:

```java
class Top() {
shared formal Integer m();
shared formal Integer? m2();
}

class Bottom() extends Top() {
shared actual Nothing m(){ return nothing; }
shared formal Integer m2(){ return 1; }
}
```