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/pos | |
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/pos')
-rw-r--r-- | tests/pos/checkInstantiable.scala | 5 |
1 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] +} |