2 Commits

Author	SHA1	Message	Date
Anastasia.Nekrasova	aef6787e87	[Test] Add a test covering changes in the evaluation semantics of safe call with smart cast in K2 ... Addition to other safe call tests that are already present in tests. ^KT-41034	2023-08-24 11:38:13 +00:00
Denis.Zharkov	823c60a7dc	K2: Fix false-positive UNSAFE_CALL on safe call with flexible type alias ... The idea of the fix is just unwrapping flexible version of type alias, before creating a not-nullable version for safe-call subject. Otherwise, it was remained to be JsExpressionResult after applying makeConeTypeDefinitelyNotNullOrNotNull (and the type is still nullable) ^KT-57190 Fixed	2023-03-17 16:27:29 +00:00