diff options
author | Martin Odersky <odersky@gmail.com> | 2016-05-05 13:43:26 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-05-23 16:11:45 +0200 |
commit | 3676baa4b1422f4ee46098aafc1ccd98f176bad4 (patch) | |
tree | 37851e012627793b9b5fc38f6c188bc60e10fc5a /src | |
parent | 4936627460ba23c743f43ac82c024daf505aa74f (diff) | |
download | dotty-3676baa4b1422f4ee46098aafc1ccd98f176bad4.tar.gz dotty-3676baa4b1422f4ee46098aafc1ccd98f176bad4.tar.bz2 dotty-3676baa4b1422f4ee46098aafc1ccd98f176bad4.zip |
Fixed error in comment
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 342b45cfa..6ce98606b 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -943,11 +943,11 @@ trait Applications extends Compatibility { self: Typer => * This relation might seem strange, but it models closely what happens for methods. * Indeed, if we integrate the existing rules for methods into `<:s` we have now that * - * (T1)T2 <:s (U1)U2 + * (T)R <:s (U)R * * iff * - * T1 => T2 <:s U1 => U2 + * T => R <:s U => R */ def isAsSpecificValueType(tp1: Type, tp2: Type)(implicit ctx: Context) = if (ctx.mode.is(Mode.OldOverloadingResolution)) |