|
Scala example source code file (volatile-intersection.scala)
The Scala volatile-intersection.scala source code
object Test extends App {
trait A
trait B extends A
trait C {
type U
trait D { type T >: B <: A }
val y: (D with U)#T = new B { }
}
class D extends C {
trait E
trait F { type T = E }
type U = F
def frob(arg : E) : E = arg
frob(y)
}
new D
}
Other Scala examples (source code examples)Here is a short list of links related to this Scala volatile-intersection.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.