Merge pull request #14551 from SethTisue/silence-build-warning

dwijnand · web-flow · commit d0f9989bbddd · 2022-02-23T22:59:53.000Z
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`	`+}`