|
Scala example source code file (volatile.scala)
The Scala volatile.scala source codeobject 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.