diff options
-rw-r--r-- | src/dotty/tools/dotc/config/Settings.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/config/Settings.scala b/src/dotty/tools/dotc/config/Settings.scala index bbd6aae80..c1ac1f83a 100644 --- a/src/dotty/tools/dotc/config/Settings.scala +++ b/src/dotty/tools/dotc/config/Settings.scala @@ -6,6 +6,7 @@ import scala.util.{ Try, Success, Failure } import scala.reflect.internal.util.StringOps import reflect.ClassTag import core.Contexts._ +import annotation.unchecked object Settings { @@ -98,7 +99,7 @@ object Settings { ArgsSummary(sstate, args, errors :+ msg) def missingArg = fail(s"missing argument for option $name", args) - def doSet(argRest: String) = (implicitly[ClassTag[T]], args) match { + def doSet(argRest: String) = ((implicitly[ClassTag[T]], args): @unchecked) match { case (BooleanTag, _) => update(true, args) case (ListTag, _) => |