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