42e71f8c53
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
100a6f70ca
Relax rules about inferring to Nothing for special calls
...
#KT-37388 Fixed
#KT-38427 Fixed
#KT-39953 Fixed
#KT-38899 Fixed
2020-07-16 09:56:46 +03:00
06550a6d31
[NI] Actualize spec tests, affected by KT-35668
...
Update test data, remove obsolete 'UNEXPECTED BEHAVIOUR'
2020-01-23 19:12:02 +03:00
2d21b82501
[NI] Remove hack for special functions
...
Treating special functions for `if`, `when`, `try`, `?:` as not accepting `Nothing` result type is incorrect.
Making so leads to cases with uninferred `Nothing` result type for inner calls and lost data flow info.
2019-12-27 18:40:42 +03:00
77e4212774
[minor] unmute fixed spec tests
2019-12-25 14:59:06 +03:00
ae1630f376
[NI] Don't discriminate Nothing-type from resulting ones
...
^KT-32106 Fixed
2019-12-25 14:59:04 +03:00
be8ae24713
Temporary mute some spec tests through apply changes after 45e881f03f
2019-12-25 12:44:54 +03:00
86bb5d689d
Add various tests for DFA testing
2019-04-19 11:55:30 +03:00
Victor Petukhov