| [#1162] | project: compiler | priority: low | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Adriaan | Adriaan | open | 2007-06-01 18:50:12.0 | |
| subject | type of kind * inferred for type constructor | |||
| code |
abstract class Foo[C[_]] {
type T
}
object Foo {
def apply[C[_]](v: C[String]) = new Foo[C] { type T = String }
}
val foo = Foo(List("foo"))
|
|||
| what happened | compiles: foo has type Foo[List[String]]{ type T = String }
|
|||
| what expected | foo should have type Foo[List]{type T= String} | |||
| [back to overview] | ||||