Matthias Geisler
05/10/2022, 6:12 PM@MyAwesomeAnnotation(SuperTyped::class)
interface SuperTyped<K, L> : Parent<K, L> where L : Any, L : Comparable<L>, K : Any
interface Parent<K, L> where L : Any, L : Comparable<L>, K : Any {
fun <T> lol(vararg x: T)
}
lol
I stumbled over that the element of KSType of T
is resolved to COVARIANT T
.@MyAwesomeAnnotation(SuperTyped::class)
interface SuperTyped<K, L> where L : Any, L : Comparable<L>, K : Any {
fun <T> ppt(vararg x: T)
}
Jiaxiang
05/10/2022, 9:04 PMvararg
in inherited code: https://github.com/google/ksp/issues/958 . Not sure if these two cases are same, can you provide a reproduce like the one in the linked issue?Matthias Geisler
05/10/2022, 9:26 PMJiaxiang
05/10/2022, 9:28 PM