diff options
author | Martin Odersky <odersky@gmail.com> | 2016-07-16 15:19:17 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-16 15:19:17 +0200 |
commit | bd45ecc06b04c3788d1ce706508eed5e0c50b50b (patch) | |
tree | cae4b1cd256f0517eb521eaa835fd15ce55d2a32 /src/dotty/tools/dotc/core/Constants.scala | |
parent | 5e340310a3a3b2a4bd1fc8071dc5d060bd2cc5bc (diff) | |
download | dotty-bd45ecc06b04c3788d1ce706508eed5e0c50b50b.tar.gz dotty-bd45ecc06b04c3788d1ce706508eed5e0c50b50b.tar.bz2 dotty-bd45ecc06b04c3788d1ce706508eed5e0c50b50b.zip |
Add recursive calls to classBound
As observed by @smarter, makes sense to do this.
Diffstat (limited to 'src/dotty/tools/dotc/core/Constants.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Constants.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Constants.scala b/src/dotty/tools/dotc/core/Constants.scala index 0f8c68bad..1892e4bdc 100644 --- a/src/dotty/tools/dotc/core/Constants.scala +++ b/src/dotty/tools/dotc/core/Constants.scala @@ -173,8 +173,8 @@ object Constants { ctx.typerState.constraint.entry(param) match { case TypeBounds(lo, hi) => if (hi.classSymbol.isPrimitiveValueClass) hi //constrain further with high bound - else lo - case NoType => param.binder.paramBounds(param.paramNum).lo + else classBound(lo) + case NoType => classBound(param.binder.paramBounds(param.paramNum).lo) case inst => classBound(inst) } case pt => pt |