From 952d4a29c3e55d44defa70ab15f0137a51320de2 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 11 Feb 2013 14:44:39 +0100 Subject: Avoiding an unchecked warning in a switch. --- src/dotty/tools/dotc/config/Settings.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc') 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, _) => -- cgit v1.2.3