diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-12-09 12:45:21 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-12-09 12:45:21 +0100 |
| commit | dc028e709fc36791526ff69d47280c91d1dc36d1 (patch) | |
| tree | 768bd52ea85b9b40e5ac7d0c314abee79529f003 /tests | |
| parent | 190f44d0c9b91df24a227878b0c9a1f3d14c20a1 (diff) | |
| download | dotty-dc028e709fc36791526ff69d47280c91d1dc36d1.tar.gz dotty-dc028e709fc36791526ff69d47280c91d1dc36d1.tar.bz2 dotty-dc028e709fc36791526ff69d47280c91d1dc36d1.zip | |
Added desugaring for & and | types.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos/sigs.scala | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/pos/sigs.scala b/tests/pos/sigs.scala index 6f66a02e9..2051ead9a 100644 --- a/tests/pos/sigs.scala +++ b/tests/pos/sigs.scala @@ -20,6 +20,24 @@ object sigs { override def foo(x: Int) = "abc" } + + trait A { self: B => + type AA + val a: AA & BB + + } + + trait B { this: A => + type BB + val b: AA & BB + } + + class C extends A with B { + type AA = String + type BB = AnyRef + val a = "" + val b = "" + } }
\ No newline at end of file |