| [#892] | project: compiler | priority: low | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Sean | Martin | fixed | 2007-01-16 14:10:53.0 | |
| subject | type parameter bounds broken by trait refinements | |||
| code |
package test;
object Test {
trait Core {
abstract class Visitor[T <: Visitor[T]];
trait HasVisitor {
def visit[T <: Visitor[T]](initial : T) : T;
}
}
trait Ext extends Core {
class Foo {
def visit[T <: Visitor[T]](initial : T) : T = initial;
}
}
} |
|||
| what happened | type arguments [T] do not conform to class Visitor's type parameter bounds [T <: Core.this.Visitor[T]] test06/sr\ c/test Test.scala line 11 |
|||
| what expected | should compile. | |||
| [back to overview] | ||||
| Martin edited on 2007-01-23 19:59:59.0 |