diff options
author | Martin Odersky <odersky@gmail.com> | 2017-02-15 14:41:24 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-02-15 14:41:24 +0100 |
commit | 506d17c7652e5dbb94631e9537b0e76ac53dee96 (patch) | |
tree | e061a2623f5c1f7873aec3c333f07ccfb902f2bb | |
parent | aa561a034cb9205d05737a602dc2268ec798fa53 (diff) | |
download | dotty-506d17c7652e5dbb94631e9537b0e76ac53dee96.tar.gz dotty-506d17c7652e5dbb94631e9537b0e76ac53dee96.tar.bz2 dotty-506d17c7652e5dbb94631e9537b0e76ac53dee96.zip |
Unrelated cleanup: Make SearchResult sealed.
-rw-r--r-- | compiler/src/dotty/tools/dotc/typer/Implicits.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/compiler/src/dotty/tools/dotc/typer/Implicits.scala index 6949221fb..48cf0cfac 100644 --- 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) } |