diff options
author | Martin Odersky <odersky@gmail.com> | 2016-07-14 18:06:48 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-14 19:52:22 +0200 |
commit | 82fc27f0c2c800de786b54110cfd8627b043fe6d (patch) | |
tree | 92bff1bc2f6869495e46fd77a1220153c25b46ac /tests/pos-scala2 | |
parent | 18b30803952cee83580eab28068bc773fdce780e (diff) | |
download | dotty-82fc27f0c2c800de786b54110cfd8627b043fe6d.tar.gz dotty-82fc27f0c2c800de786b54110cfd8627b043fe6d.tar.bz2 dotty-82fc27f0c2c800de786b54110cfd8627b043fe6d.zip |
Fix bounds checking of hk applied typed
Previous logic could only handle classes as constructors.
Also, address other reviewers comments.
Diffstat (limited to 'tests/pos-scala2')
-rw-r--r-- | tests/pos-scala2/t2994.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/pos-scala2/t2994.scala b/tests/pos-scala2/t2994.scala index c7421c42a..f3009b12f 100644 --- a/tests/pos-scala2/t2994.scala +++ b/tests/pos-scala2/t2994.scala @@ -20,7 +20,7 @@ object Naturals { // crashes scala-2.8.0 beta1 trait MUL[n <: NAT, m <: NAT] extends NAT { - trait curry[n[_, _], s[_]] { type f[z <: NAT] = n[s, z] } + trait curry[n[_[_], _], s[_]] { type f[z <: NAT] = n[s, z] } type a[s[_ <: NAT] <: NAT, z <: NAT] = n#a[curry[m#a, s]#f, z] } |