Drop no-longer applicable comments

scala · May 17, 2019 · 8332964 · 8332964
1 parent 4422483
commit 8332964
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Inferencing.scala b/compiler/src/dotty/tools/dotc/typer/Inferencing.scala
@@ -152,8 +152,6 @@ object Inferencing {
             constraint.entry(param) match {
               case TypeBounds(lo, hi)
               if (hi frozen_<:< lo) =>
-                // if lower or upper is nonEmpty, the full bounds can't be equal, since
-                // common type params in lower and upper are eliminated through unification
                 val inst = ctx.typeComparer.approximation(param, fromBelow = true)
                 typr.println(i"replace singleton $param := $inst")
                 ctx.typerState.constraint = constraint.replace(param, inst)

diff --git a/tests/pos/i6385.scala b/tests/pos/i6385.scala
@@ -12,6 +12,6 @@ object X {
 }
 
 object app extends App {
-  implicitly[Tc2[X]] // ok
-  implicitly[Tc1[X]]//(X.Tc2Instance[Tc2]) // fails
+  implicitly[Tc2[X]]
+  implicitly[Tc1[X]]
 }