42e71f8c53
Remove explicit enabling the new type inference from test data
2022-07-22 16:03:52 +00:00
918a91dbdf
Escape special names with backticks in test data
...
#KT-51248
2022-02-10 21:20:47 +00:00
7ee71450bc
[NI] Discriminate Nothing? result type from nullability constraints
...
Nullability constraints should not be chosen when proper
argument constraints for variables in contravariant position present.
^KT-32106 Fixed
^KT-33166 Fixed
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
d8e5b068d5
Relinking spec tests
2019-08-19 18:31:46 +03:00
28da325a11
Actualize DFA spec tests
2019-08-19 18:31:39 +03:00
4f6d0ca1d1
Update missed tesdata
...
Was missed after 7daf12fa6d
2019-05-30 18:58:12 +03:00
7daf12fa6d
[Testing] Remove duplicate logic, clean-up CheckerTestUtil
2019-05-30 12:32:39 +03:00
86bb5d689d
Add various tests for DFA testing
2019-04-19 11:55:30 +03:00
Victor Petukhov