From bd45ecc06b04c3788d1ce706508eed5e0c50b50b Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 16 Jul 2016 15:19:17 +0200 Subject: Add recursive calls to classBound As observed by @smarter, makes sense to do this. --- src/dotty/tools/dotc/core/Constants.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/dotty/tools/dotc/core/Constants.scala') 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 -- cgit v1.2.3