// MEMBER_NAME_FILTER: property
abstract class S<caret>ubClass: AbstractClass<Int>()

abstract class AbstractClass<T> {
    abstract val T.property: T
}