Drop commented-out code

odersky · odersky · commit 862817f3f5c2 · 2018-01-01T22:00:54.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -922,7 +922,6 @@ object Types {
      *  base type by applying one or more `underlying` dereferences.
      */
     final def widenSingleton(implicit ctx: Context): Type = stripTypeVar.stripAnnots match {
-      //case tp @ AnnotatedType(tp1, ann) => tp.derivedAnnotatedType(tp1.widenSingleton, ann)
       case tp: SingletonType if !tp.isOverloaded => tp.underlying.widenSingleton
       case _ => this
     }

Original file line number	Diff line number	Diff line change
`@@ -922,7 +922,6 @@ object Types {`
`922`	`922`	* base type by applying one or more `underlying` dereferences.
`923`	`923`	`*/`
`924`	`924`	`final def widenSingleton(implicit ctx: Context): Type = stripTypeVar.stripAnnots match {`
`925`		`- //case tp @ AnnotatedType(tp1, ann) => tp.derivedAnnotatedType(tp1.widenSingleton, ann)`
`926`	`925`	`case tp: SingletonType if !tp.isOverloaded => tp.underlying.widenSingleton`
`927`	`926`	`case _ => this`
`928`	`927`	`}`