record

fun record(internalName: String, kind: Int, facade: String?)

internalName as it appears as a jar entry (a/b/FooKt); kind and facade straight off @Metadata. Both are stored as JVM internal names — the frontend resolves a part by loading exactly this string.