|
Scala example source code file (lubs.scala)
The Scala lubs.scala source code
object test1 {
abstract class A[+T]
class C extends A[C]
class D extends A[D]
def f = if(1 == 2) new C else new D
val x1: A[Any] = f
val x2: A[A[Any]] = f
val x3: A[A[A[Any]]] = f
val x4: A[A[A[A[Any]]]] = f
}
object test2 {
abstract class A { type T }
class C extends A { type T = C }
class D extends A { type T = D }
def f = if (1 == 2) new C else new D
val x1: A { type T } = f
val x2: A { type T >: Null <: A } = f
val x3: A { type T >: Null <: A { type T >: Null <: A } } = f
val x4: A { type T >: Null <: A { type T >: Null <: A { type T >: Null <: A } } } = f
}
Other Scala examples (source code examples)Here is a short list of links related to this Scala lubs.scala source code file: |
| ... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.