67a6785f63
FIR DFA: move eq/notEq null-to-type translation to LogicSystem
...
This makes the `returns() implies` checker slightly cleaner, and also
fixes the case that I've missed where in RHS of `x ?:` type of `x` was
not set to `Nothing?`.
2022-11-22 15:44:37 +00:00
7d49b72b79
JVM_IR: Support 'CHECK_NOT_NULL' intrinsic
...
TODO: migrate to changes related to KT-22275
2019-08-14 11:16:10 +03:00
3a11322506
Enable bytecode text tests for the JVM_IR backend.
2018-12-21 16:20:45 +01:00
6d4d244c28
Generate function from Any for inline classes same as for data classes
...
#KT-24873 Fixed
#KT-25293 Fixed
#KT-25299 Fixed
2018-08-06 10:56:01 +03:00
396cc7d02b
Support unboxing of inline classes in elvis
2018-02-09 05:06:31 +03:00
pyos