// See KT-13691
// TARGET_BACKEND: JVM
