blob: 317e28a9dc65329ac7762b8044b0a62b9ac40375 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
object DefaultArgBogusTypeMismatch {
class A[T]
class B {
type T = this.type
def m(implicit a : A[T] = new A[T]) = a
}
def newB = new B
val a1 = newB.m // Bogus type mismatch
val stableB = new B
val a2 = stableB.m // OK
}
|