FILE: stringTemplates.kt public final class A : R|kotlin/Any| { public constructor(): R|A| { super() } } public final fun foo(s: R|kotlin/String|): R|kotlin/Unit| { } public final fun test(a: R|A|): R|kotlin/Unit| { R|/foo|((R|/a|)) }