From 5240de72c9cc0beb552dc1fd77510b3d7b19a8c6 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 20 Nov 2013 15:06:12 +0100 Subject: Splitting constraint.appky into at, bounds, contains. Motivation: Keep usages separate, prepare for larger constraint refactoring. --- src/dotty/tools/dotc/core/Types.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/core/Types.scala') diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index dd17f5672..1b880b86f 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2033,7 +2033,7 @@ object Types { * is also a singleton type. */ def instantiate(fromBelow: Boolean)(implicit ctx: Context): Type = { - val upperBound = ctx.typerState.constraint(origin).bounds.hi + val upperBound = ctx.typerState.constraint.bounds(origin).hi def isSingleton(tp: Type): Boolean = tp match { case tp: SingletonType => true case AndType(tp1, tp2) => isSingleton(tp1) | isSingleton(tp2) -- cgit v1.2.3