| [#1232] | project: compiler | priority: low | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Nikolay | Martin | open | 2007-07-19 22:54:50.0 | |
| subject | [contrib #706] Compiler does not complain agains invalid type override | |||
| code |
trait Comparable {
type T <: Comparable { type T = Any }
}
|
|||
| what happened | Program compiles without errors |
|||
| what expected | error: error overriding type T in trait Comparable with bounds >: Nothing <: Comparable{type T = Any}; type T has incompatible type Any | |||
| [back to overview] | ||||
| Nikolay edited on 2007-07-19 22:58:49.0 |
| Martin edited on 2007-07-26 11:09:12.0 |
| Not yet sure whether we want to check type refinements for overriding conditions. It's not strictly necessary -- it just means you will never be able to implement the abstract type anywhere. |