tree 27e3e4b4d67720792d7f082ee8e12f90775352f2
parent df2347d200110a6948a475252e91a2b76058cff2
author Denis.Zharkov <denis.zharkov@jetbrains.com> 1723533961 +0200
committer Denis.Zharkov <denis.zharkov@jetbrains.com> 1723732319 +0200

K2: Resolve safe call receiver in ReceiverResolution mode

For safe calls under PCLA, we should behave in the same way as
for regular qualified calls, i.e. we should semi-fix type variables
when necessary

In PCLAInferenceSession semi-fixation only runs for ReceiverResolution.

Then, it's necessary to apply integerLiteralAndOperatorApproximationTransformer
because by default ReceiverResolution leaves them not-approximated,
but constants/ILT evaluation didn't work before and is not supposed
to work for safe calls.

^KT-69170 Fixed