diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-27 12:46:48 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-02-07 17:31:53 +0100 |
| commit | 1f8b5691dabaae336c3c3f568b303eb24e783494 (patch) | |
| tree | 7546b2148b5863e2e0070122ffc6d67eacf9edf4 /tests/pos/sealed-final.scala | |
| parent | 4320e20ff5f3126940f0ecad1dd53573cf03562b (diff) | |
| download | dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.tar.gz dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.tar.bz2 dotty-1f8b5691dabaae336c3c3f568b303eb24e783494.zip | |
Test reorg
Diffstat (limited to 'tests/pos/sealed-final.scala')
| -rw-r--r-- | tests/pos/sealed-final.scala | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/pos/sealed-final.scala b/tests/pos/sealed-final.scala new file mode 100644 index 000000000..bdedb5c1f --- /dev/null +++ b/tests/pos/sealed-final.scala @@ -0,0 +1,14 @@ +sealed abstract class Foo { + @inline def bar(x: Int) = x + 1 +} +object Foo { + def mkFoo(): Foo = new Baz2 +} + +object Baz1 extends Foo +final class Baz2 extends Foo + +object Test { + // bar should be inlined now + def f = Foo.mkFoo() bar 10 +} |