blob: 66a48d155ef2d6b685c9aaa2dbf757db9b85aeed (
plain) (
tree)
|
|
class Foo[@specialized T] {
var v: T = _
def foo(x: T): T = x
println("abc")
class Bar[@specialized U] {
def bar(x: U): T = v
// def barInt(x: Int): T = bar(x.asInstanceOf[U])
}
}
class Test {
def test {
val a = new Foo[Int]
val b = new a.Bar[Int]
a.foo(10)
b.bar(11)
}
}
/*
abstract class Foo[@specialized T] {
def foo(x: T): T
def foo$Int(x: Int): Int
abstract class Bar[@specialized U] {
def bar(x: U): T
def bar$Int(x: Int): T
}
abstract class Bar$Int extends Bar[Int] {
def bar(x: Int): T = bar$Int(x)
def bar$Int(x: Int): T
}
}
abstract class Foo$Int extends Foo[Int] {
def foo(x: Int): Int = foo$Int(x)
def foo$Int(x: Int): Int
abstract class Bar[@specialized U] {
def bar(x: U): Int
def bar$Int(x: Int): Int
}
abstract class Bar$Int extends Bar[Int] {
def bar(x: Int): Int = bar$Int(x)
def bar$Int(x: Int): Int
}
}
*/
|