src/test/kotlinR8TestResources/properties/UserDefinedProperty.kt

// Copyright (c) 2018, the R8 project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
package properties

class UserDefinedProperty() {
    public var durationInMilliSeconds: Int = 0

    var durationInSeconds: Int
        get() = durationInMilliSeconds / 1000
        set(v) { durationInMilliSeconds = v * 1000 }
}

fun userDefinedProperty_noUseOfProperties() {
    UserDefinedProperty()
}

fun userDefinedProperty_useProperties() {
    val obj = UserDefinedProperty()
    obj.durationInSeconds = 5
    println(obj.durationInSeconds)
}