silence a warning in the build definition

SethTisue · SethTisue · commit eefa157a4980 · 2022-02-23T12:56:45.000-08:00
diff --git a/project/ScaladocGeneration.scala b/project/ScaladocGeneration.scala
@@ -13,7 +13,7 @@ object ScaladocGeneration {
       value match {
         case s: String => s"$key ${escape(s)}"
         case true => s"$key"
-        case list: List[String] => s"$key:${list.map(escape).mkString(",")}"
+        case list: List[String @unchecked] => s"$key:${list.map(escape).mkString(",")}"
         case _ =>
           println(s"Unsupported setting: $key -> $value")
           ""
@@ -178,4 +178,4 @@ object ScaladocGeneration {
     }
   }
 
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ object ScaladocGeneration {`
`13`	`13`	`value match {`
`14`	`14`	`case s: String => s"$key ${escape(s)}"`
`15`	`15`	`case true => s"$key"`
`16`		`- case list: List[String] => s"$key:${list.map(escape).mkString(",")}"`
	`16`	`+ case list: List[String @unchecked] => s"$key:${list.map(escape).mkString(",")}"`
`17`	`17`	`case _ =>`
`18`	`18`	`println(s"Unsupported setting: $key -> $value")`
`19`	`19`	`""`
`@@ -178,4 +178,4 @@ object ScaladocGeneration {`
`178`	`178`	`}`
`179`	`179`	`}`
`180`	`180`
`181`		`-}`
	`181`	`+}`