From c295c66c4dc9ee170d80e565780197f498d80e10 Mon Sep 17 00:00:00 2001
From: Som Snytt <som.snytt@gmail.com>
Date: Thu, 24 Feb 2022 02:12:28 -0800
Subject: [PATCH] Use toString

---
 project/ScaladocGeneration.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/project/ScaladocGeneration.scala b/project/ScaladocGeneration.scala
index cd32a4e80194..9c28bd74a0b4 100644
--- a/project/ScaladocGeneration.scala
+++ b/project/ScaladocGeneration.scala
@@ -13,13 +13,13 @@ object ScaladocGeneration {
       value match {
         case s: String => s"$key ${escape(s)}"
         case true => s"$key"
-        case list: List[String @unchecked] => s"$key:${list.map(escape).mkString(",")}"
+        case list: List[_] => s"$key:${list.map(x => escape(x.toString)).mkString(",")}"
         case _ =>
           println(s"Unsupported setting: $key -> $value")
           ""
       }
 
-    private def escape(s: String) = if(s.contains(" ")) s""""$s"""" else s
+    private def escape(s: String) = if (s.contains(" ")) s""""$s"""" else s
   }
   case class ProjectName(value: String) extends Arg[String] {
     def key: String = "-project"