K2 do not track builtins properly to provide appropriate diagnostics yet related to #KT-61033
AbstractExpectActualCompatibilityChecker.getCallablesCompatibility
while loop
when branch