FILE: superNotAvailable.kt public final fun R|kotlin/String|.f(): R|kotlin/Unit| { #.#(String()) #.#(String()) } public final fun foo(): R|kotlin/Unit| { # #.#() #.#() } public final class A : R|kotlin/Any| { public constructor(): R|A| { super() } public final fun act(): R|kotlin/Unit| { #(String(Test)) } public final fun R|kotlin/String|.fact(): R|kotlin/Unit| { #(String(Fest)) } }