Matthias Geisler
05/10/2022, 6:12 PMMatthias Geisler
05/10/2022, 6:14 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)
}
Matthias Geisler
05/10/2022, 6:15 PMMatthias Geisler
05/10/2022, 6:18 PMlol
I stumbled over that the element of KSType of T
is resolved to COVARIANT T
.Matthias Geisler
05/10/2022, 6:20 PM@MyAwesomeAnnotation(SuperTyped::class)
interface SuperTyped<K, L> where L : Any, L : Comparable<L>, K : Any {
fun <T> ppt(vararg x: T)
}
Matthias Geisler
05/10/2022, 6:24 PMMatthias Geisler
05/10/2022, 6:24 PMMatthias Geisler
05/10/2022, 6:40 PMJiaxiang
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