as

when

deviceScope

when

open class Scope

class DeviceScope(val name: String) : Scope()

open class Fragment {
    val scope: Scope = DeviceScope("Example device scope")
}

val Fragment.deviceScope: DeviceScope
    get() {
        check(scope is DeviceScope) {
            "Non-DeviceScope scopes are not allowed"
        }
        return scope
    }

class MyFragment : Fragment() {
    init {
        println(deviceScope.name)
    }
}

scope as DeviceScope

class MyFragment : Fragment() {
    init {
        (scope as DeviceScope).name
    }
}

val Fragment.deviceScope: DeviceScope
    get() = scope as DeviceScope

class MyFragment : Fragment() {
    init {
        deviceScope.name
    }
}

check(){}

as

val deviceScope = scope as DeviceScope

(scope as DeviceScope).name