PurelyImplements

@Target([AnnotationTarget.CLASS]) annotation class PurelyImplements

Инструктирует компилятор Kotlin обрабатывать аннотированный Java-класс как чистое реализацию данного Kotlin-интерфейса. «Чистое» означает здесь, что каждый параметр типа класса становится неплатформенным аргументом типа этого интерфейса.

Пример:

class MyList<T> extends AbstractList<T> { ... }

Методы, определённые в MyList<T> используют T в качестве платформы, т.е. в Kotlin возможно выполнение небезопасных операций:

MyList<Int>().add(null) // compiles

@PurelyImplements("kotlin.collections.MutableList")
class MyPureList<T> extends AbstractList<T> { ... }

Методы, определённые в MyPureList<T> и переопределяющие методы в MutableList используют T в качестве типов, не являющихся платформенными:

MyPureList<Int>().add(null) // Error
MyPureList<Int?>().add(null) // Ok