diff options
author | odersky <odersky@gmail.com> | 2016-03-18 11:54:33 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2016-03-18 11:54:33 +0100 |
commit | e73ef776e1754f5e207a631d4c1750743b3d4a9b (patch) | |
tree | e3ab0183a36550465063d736313e5df68ddfe7b5 /tests | |
parent | bd8a6dc79bf53193af617d08cd1b4fdef0ee0bb2 (diff) | |
parent | 208c91a3749910ff23ae65f7ff36d7b3cf8d62db (diff) | |
download | dotty-e73ef776e1754f5e207a631d4c1750743b3d4a9b.tar.gz dotty-e73ef776e1754f5e207a631d4c1750743b3d4a9b.tar.bz2 dotty-e73ef776e1754f5e207a631d4c1750743b3d4a9b.zip |
Merge pull request #1166 from dotty-staging/fix-#1136
Fix typing of SeqLiterals
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pickling/hk.scala | 2 | ||||
-rw-r--r-- | tests/pos/hk.scala | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/pickling/hk.scala b/tests/pickling/hk.scala index 9fdaf94f6..a8f2aa597 100644 --- a/tests/pickling/hk.scala +++ b/tests/pickling/hk.scala @@ -31,7 +31,7 @@ object higherKinded { } class Ident[-T >: Untyped] extends Tree[T] { - type ThisType[-U] = Ident[U] + type ThisType[-U >: Untyped] = Ident[U] } val id = new Ident[Integer] diff --git a/tests/pos/hk.scala b/tests/pos/hk.scala index 9fdaf94f6..a8f2aa597 100644 --- a/tests/pos/hk.scala +++ b/tests/pos/hk.scala @@ -31,7 +31,7 @@ object higherKinded { } class Ident[-T >: Untyped] extends Tree[T] { - type ThisType[-U] = Ident[U] + type ThisType[-U >: Untyped] = Ident[U] } val id = new Ident[Integer] |