FILE: eagerResolveOfSingleCallableReference.kt public open class A : R|kotlin/Any| { public constructor(): R|A| { super() } } public final class B : R|A| { public constructor(): R|B| { super() } } public final class Or : R|A| { public constructor(left: R|A|, right: R|A|): R|Or| { super() } } public final class Out : R|kotlin/Any| { public constructor(): R|Out| { super() } } public final fun test(ls: R|Out|): R|kotlin/Unit| { R|/ls|.R|/reduce|(::R|/Or.Or|) } public final fun R|Out|.reduce(operation: R|(S, T) -> S|): R|S| { ^reduce R|kotlin/TODO|() }