diff options
| author | Paul Phillips <paulp@improving.org> | 2013-05-19 12:40:31 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-05-20 10:01:40 -0700 |
| commit | 6adbcfa8bede2083876a26accab312c099ed6d41 (patch) | |
| tree | 48a163e1ae767bdfe3b3f16b28a9caf6ed02ce66 | |
| parent | b0ada91544dc158e69a442447c6990852dd5e048 (diff) | |
| download | scala-6adbcfa8bede2083876a26accab312c099ed6d41.tar.gz scala-6adbcfa8bede2083876a26accab312c099ed6d41.tar.bz2 scala-6adbcfa8bede2083876a26accab312c099ed6d41.zip | |
Commented out code from 2008.
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Infer.scala | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Infer.scala b/src/compiler/scala/tools/nsc/typechecker/Infer.scala index dbd16d6dee..5ab9aa68bc 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Infer.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Infer.scala @@ -938,13 +938,6 @@ trait Infer extends Checkable { } } -/* - def isStrictlyMoreSpecific(ftpe1: Type, ftpe2: Type): Boolean = - ftpe1.isError || isAsSpecific(ftpe1, ftpe2) && - (!isAsSpecific(ftpe2, ftpe1) || - !ftpe1.isInstanceOf[OverloadedType] && ftpe2.isInstanceOf[OverloadedType] || - phase.erasedTypes && covariantReturnOverride(ftpe1, ftpe2)) -*/ /** Is sym1 (or its companion class in case it is a module) a subclass of * sym2 (or its companion class in case it is a module)? */ |