Kotlin: Suppress an unchecked cast warning

igfoo · igfoo · commit fb26859425ae · 2022-05-10T18:45:51.000+01:00
I don't think we can easily do better here.
diff --git a/java/kotlin-extractor/src/main/kotlin/KotlinExtractorExtension.kt b/java/kotlin-extractor/src/main/kotlin/KotlinExtractorExtension.kt
@@ -87,6 +87,7 @@ class FileTrapWriter(
             labelMapping.put(label, id)
             return id
         } else {
+            @Suppress("UNCHECKED_CAST")
             return maybeId as Label<T>
         }
     }
