compiler/testData/diagnostics/tests/PrivateSetterForOverridden.kt

// RUN_PIPELINE_TILL: FRONTEND
// FIR_IDENTICAL
// See KT-10325: private setters are allowed for overridden properties in final class

interface A {
    val a: Int

    var b: Int
}

abstract class AA {
    abstract val c: Int

    abstract var d: Int
}

class B : A, AA() {
    override var a: Int = 0
        // Ok
        private set

    override var b: Int = 1
        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE!>private<!> set

    override var c: Int = 2
        // Ok
        private set

    override var d: Int = 3
        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE!>private<!> set
}

open class C : A, AA() {
    override var a: Int = 0
        // Errors here and below
        <!PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set

    override var b: Int = 1
        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE, PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set

    override var c: Int = 2
        <!PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set

    override var d: Int = 3
        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE, PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set
}

abstract class D : A, AA() {
    override var a: Int = 0
        // Errors here and below
        <!PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set

    override var b: Int = 1
        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE, PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set

    override var c: Int = 2
        <!PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set

    override var d: Int = 3
        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE, PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set
}

interface E : A {
    override var a: Int
        get() = 0
        // Errors here and below
        <!PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set(arg) {}

    override var b: Int
        get() = 0
        <!CANNOT_WEAKEN_ACCESS_PRIVILEGE, PRIVATE_SETTER_FOR_OPEN_PROPERTY!>private<!> set(arg) {}
}

/* GENERATED_FIR_TAGS: classDeclaration, getter, integerLiteral, interfaceDeclaration, override, propertyDeclaration,
setter */