diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-10 14:55:38 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-10 14:55:38 +0100 |
commit | 4429243278ea671ccaf8344f4b65519fe6800a47 (patch) | |
tree | eaf6987f5144e2e20a2dfdc9135ff2bb662f8137 /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | 710e40e991db4c1c519cfea1d3112b558ad044e9 (diff) | |
download | dotty-4429243278ea671ccaf8344f4b65519fe6800a47.tar.gz dotty-4429243278ea671ccaf8344f4b65519fe6800a47.tar.bz2 dotty-4429243278ea671ccaf8344f4b65519fe6800a47.zip |
Removed some checks
Checks are no longer interesting because we will not to migrate to
RefinedThis(level) scheme after all.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
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 = { |