FILE: overloadsWithGenericAndGenericLambda.kt public final class Inv : R|kotlin/Any| { public constructor(): R|Inv| { super() } } public final fun foo(c: R|Inv|, f: R|() -> T|): R|kotlin/Unit| { } public final fun foo(c: R|Inv|, v: R|T|): R|kotlin/Unit| { } public final fun test(x: R|Inv|, v: R|T|): R|kotlin/Unit| { #(R|/x|, = foo@fun (): R|T| { ^ R|/v| } ) }