diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-09-09 10:03:31 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-09-09 10:03:31 +0000 |
commit | 118a288beecc155c7c84ecbebf6f00bc87594607 (patch) | |
tree | 7ab9495751c5fa8099965aee85009ecfc8b24aa1 /test/files/neg/volatile-intersection.scala | |
parent | 74f3359eefc89a75551c14fc9b298581aa5a8024 (diff) | |
download | scala-118a288beecc155c7c84ecbebf6f00bc87594607.tar.gz scala-118a288beecc155c7c84ecbebf6f00bc87594607.tar.bz2 scala-118a288beecc155c7c84ecbebf6f00bc87594607.zip |
New test concerning volatile intersections.
Diffstat (limited to 'test/files/neg/volatile-intersection.scala')
-rw-r--r-- | test/files/neg/volatile-intersection.scala | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/files/neg/volatile-intersection.scala b/test/files/neg/volatile-intersection.scala new file mode 100644 index 0000000000..086c474a37 --- /dev/null +++ b/test/files/neg/volatile-intersection.scala @@ -0,0 +1,21 @@ +object Test extends Application { + 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 +} + |