From 4429243278ea671ccaf8344f4b65519fe6800a47 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sat, 10 Jan 2015 14:55:38 +0100 Subject: Removed some checks Checks are no longer interesting because we will not to migrate to RefinedThis(level) scheme after all. --- src/dotty/tools/dotc/core/TypeApplications.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala') diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index 7ca2040c6..e71226b68 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -507,7 +507,7 @@ class TypeApplications(val self: Type) extends AnyVal { * LambdaXYZ { type Apply = B[$hkArg$0, ..., $hkArg$n] } * { type $hkArg$0 = T1; ...; type $hkArg$n = Tn } * - * satisfies predicate `p`. Try base types in the order of ther occurrence in `baseClasses`. + * satisfies predicate `p`. Try base types in the order of their occurrence in `baseClasses`. * A type parameter matches a varianve V if it has V as its variance or if V == 0. */ def testLifted(tparams: List[Symbol], p: Type => Boolean)(implicit ctx: Context): Boolean = { -- cgit v1.2.3