@file:JvmName(name = "FileWithAnnotations") // CHECK: // Mangled name: {}bar // Public signature: /bar|-7864284097863469857[0] // Public signature debug description: {}bar val bar: Int // CHECK JVM_IR: // Mangled name: #(){}kotlin.Int // Public signature: /bar.|-7403724005139201014[0] // Public signature debug description: (){}kotlin.Int get // CHECK: // Mangled name: #foo(){} // Public signature: /foo|-1041209573719867811[0] // Public signature debug description: foo(){} fun foo(): Unit