diff options
| author | odersky <odersky@gmail.com> | 2015-06-22 11:17:38 +0200 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-06-22 11:17:38 +0200 |
| commit | f03f5b0bea0296564c3f41e4375ead48819254d0 (patch) | |
| tree | 5aabe689d9ccc5c583391305a13a806b862574e2 /tests/pos | |
| parent | 478be16e8d6af6004215682dda4730b78533c543 (diff) | |
| parent | 0ec9c927941ab3155d0c5edacfe3a21c8c4b74ca (diff) | |
| download | dotty-f03f5b0bea0296564c3f41e4375ead48819254d0.tar.gz dotty-f03f5b0bea0296564c3f41e4375ead48819254d0.tar.bz2 dotty-f03f5b0bea0296564c3f41e4375ead48819254d0.zip | |
Merge pull request #668 from lampepfl/fix/#650-self-types
Fix checking whether types are instantiable.
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] +} |