diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-06-19 10:25:35 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-19 10:28:02 +0200 |
| commit | 0ec9c927941ab3155d0c5edacfe3a21c8c4b74ca (patch) | |
| tree | cd5e0c1cee095ddaa595fc8291af8b62c6958e17 /tests | |
| parent | 78fae1152a7b381af4639d3d66ed637eac3ca9d0 (diff) | |
| download | dotty-0ec9c927941ab3155d0c5edacfe3a21c8c4b74ca.tar.gz dotty-0ec9c927941ab3155d0c5edacfe3a21c8c4b74ca.tar.bz2 dotty-0ec9c927941ab3155d0c5edacfe3a21c8c4b74ca.zip | |
Fix checking whether types are instantiable.
The logic for checking aginst the self type was wrong, as demonstrated
by pos/checkInstantiable.scala.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos/checkInstantiable.scala | 5 | ||||
| -rw-r--r-- | tests/run/collections.check (renamed from tests/pending/run/collections.check) | 0 | ||||
| -rw-r--r-- | tests/run/collections.scala (renamed from tests/pending/run/collections.scala) | 0 |
3 files changed, 5 insertions, 0 deletions
diff --git a/tests/pos/checkInstantiable.scala b/tests/pos/checkInstantiable.scala new file mode 100644 index 000000000..c8b166b1e --- /dev/null +++ b/tests/pos/checkInstantiable.scala @@ -0,0 +1,5 @@ +// check instantiable of parameterized self type +class LS[T] { self: LS[T] => } +object Test { + new LS[Int] +} diff --git a/tests/pending/run/collections.check b/tests/run/collections.check index c24150b24..c24150b24 100644 --- a/tests/pending/run/collections.check +++ b/tests/run/collections.check diff --git a/tests/pending/run/collections.scala b/tests/run/collections.scala index acc2d93ff..acc2d93ff 100644 --- a/tests/pending/run/collections.scala +++ b/tests/run/collections.scala |