Seal class SearchResult

odersky · odersky · commit f3145f263874 · 2017-02-03T10:31:54.000+11:00
diff --git a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
@@ -498,8 +498,6 @@ class PlainPrinter(_ctx: Context) extends Printer {
       "Failed Implicit"
     case result: AmbiguousImplicits =>
       "Ambiguous Implicit: " ~ toText(result.alt1) ~ " and " ~ toText(result.alt2)
-    case _ =>
-      "?Unknown Implicit Result?"
   }
 
   private var maxSummarized = Int.MaxValue
diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -220,7 +220,7 @@ object Implicits {
   }
 
   /** The result of an implicit search */
-  abstract class SearchResult extends Showable {
+  sealed abstract class SearchResult extends Showable {
     def toText(printer: Printer): Text = printer.toText(this)
   }
 

Original file line number	Diff line number	Diff line change
`@@ -498,8 +498,6 @@ class PlainPrinter(_ctx: Context) extends Printer {`
`498`	`498`	`"Failed Implicit"`
`499`	`499`	`case result: AmbiguousImplicits =>`
`500`	`500`	`"Ambiguous Implicit: " ~ toText(result.alt1) ~ " and " ~ toText(result.alt2)`
`501`		`- case _ =>`
`502`		`- "?Unknown Implicit Result?"`
`503`	`501`	`}`
`504`	`502`
`505`	`503`	`private var maxSummarized = Int.MaxValue`
Original file line number	Diff line number	Diff line change
`@@ -220,7 +220,7 @@ object Implicits {`
`220`	`220`	`}`
`221`	`221`
`222`	`222`	`/** The result of an implicit search */`
`223`		`- abstract class SearchResult extends Showable {`
	`223`	`+ sealed abstract class SearchResult extends Showable {`
`224`	`224`	`def toText(printer: Printer): Text = printer.toText(this)`
`225`	`225`	`}`
`226`	`226`