d042eb2cfb
Previously, type for "c.a"-receiver in "c.a.platformFun()" has not been refined because typechecking of "c.a" doesn't go through common facade org.jetbrains.kotlin.types.expressions.ExpressionTypingServices#getTypeInfo where the most of expressions are expected to be type checked. (see org.jetbrains.kotlin.resolve.calls.CallExpressionResolver#getUnsafeSelectorTypeInfo)