Почему класс аннотации не может определить аргументы типа?

Question

Давайте рассмотрим этот код:

@Target(AnnotationTarget.FIELD)
annotation class DeserializeInterface<T: Any>(val targetClass: KClass<T>)

interface A
class B : A

class Test {
    @DeserializeInterface<B>(B::class) val a: A = B()
}

в line X Я пишу @DeserializeInterface<B>(B::class), и Котлин не позволяет мне писать только @DeserializeInterface(B::class).

Почему в этом случае он не выводит аргументы типа из B::class?

Напротив, вывод типа работает здесь просто отлично:

class AClass<T: Any>(val a: List<T>)

fun main(args: Array<String>) {
    val a = AClass(listOf(1,2,3))
}

но почему?

Answer 1

Это ограничение в текущем алгоритме вывода типов. Я подал вопрос , за которым вы можете следить.