diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-12-19 13:46:50 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-12-19 13:46:50 +0100 |
commit | 3270404d2a6ea5fc96a3ba475e9a79fb977f3a32 (patch) | |
tree | d075b17df4a82e3b43023340ec44079c66c52c51 /tests/pos | |
parent | a5363c4e08d01c32501036af6aeeb8a6c07e0d3b (diff) | |
download | dotty-3270404d2a6ea5fc96a3ba475e9a79fb977f3a32.tar.gz dotty-3270404d2a6ea5fc96a3ba475e9a79fb977f3a32.tar.bz2 dotty-3270404d2a6ea5fc96a3ba475e9a79fb977f3a32.zip |
Add tests verifying that i1812 stays fixed.
Diffstat (limited to 'tests/pos')
-rw-r--r-- | tests/pos/i1812.scala | 12 | ||||
-rw-r--r-- | tests/pos/i1812b.scala | 11 |
2 files changed, 23 insertions, 0 deletions
diff --git a/tests/pos/i1812.scala b/tests/pos/i1812.scala new file mode 100644 index 000000000..653274883 --- /dev/null +++ b/tests/pos/i1812.scala @@ -0,0 +1,12 @@ +class FF[R] { + def compose(): R = ??? +} + +class Test(x: Int) extends AnyVal { + def method: Unit = { + class Bla + class Foo extends FF[Bla] { + override def compose() = super[FF].compose() + } + } +} diff --git a/tests/pos/i1812b.scala b/tests/pos/i1812b.scala new file mode 100644 index 000000000..492c545f1 --- /dev/null +++ b/tests/pos/i1812b.scala @@ -0,0 +1,11 @@ +class FF[R] { + def compose(): R = ??? +} + +class Test(x: Int) extends AnyVal { + def method: Unit = { + class Bla{ def bar:a.S = ???} + trait TRT{ type S} + val a: TRT = ??? + } +} |