Ilya Kirillov
|
1bbcae5ed2
|
[FIR] fix resolve contract violation from scopes
We cannot call lazy resolve to STATUS phase from scopes as scopes may be accessed on a STATUS phase or earlier
^KT-54890
^KTIJ-23587 fixed
|
2023-01-13 21:32:51 +00:00 |
|
Ilya Kirillov
|
644d1bf0d0
|
[FIR] ignore tests which fail because of resolve contracts violation
|
2022-12-12 16:21:07 +00:00 |
|
Andrey Zinovyev
|
1cb34541bd
|
[FIR] Fixes after delegation scope rework
|
2021-07-08 18:13:52 +03:00 |
|
Andrey Zinovyev
|
c98cd3b190
|
[FIR] Implement properties types mismatch on inheritence
PROPERTY_TYPE_MISMATCH_ON_INHERITANCE,
VAR_TYPE_MISMATCH_ON_INHERITANCE,
PROPERTY_TYPE_MISMATCH_BY_DELEGATION
|
2021-07-08 18:13:41 +03:00 |
|
Andrey Zinovyev
|
8c7ee0b714
|
[FIR] Implement RETURN_TYPE_MISMATCH_BY_DELEGATION diagnostic
|
2021-07-08 18:13:40 +03:00 |
|
Denis.Zharkov
|
a77cbb8f63
|
FIR: Rework FirNotImplementedOverrideChecker around delegated members reporting
|
2021-07-01 17:49:30 +03:00 |
|
Mikhail Glukhikh
|
42d53dd954
|
FIR: introduce delegated & overridden conflict checks
|
2021-04-02 10:24:20 +03:00 |
|
Nick
|
61e21dadec
|
[FIR] Add 3 type mismatch diagnostics
|
2020-08-24 11:06:12 +03:00 |
|
Dmitriy Novozhilov
|
2536fa0cd5
|
[FIR-TEST] Add new testdata generated after changes in previous commit
|
2019-12-12 16:11:46 +03:00 |
|
victor.petukhov
|
46bd5ba107
|
Add alphabetical sorting diagnostics with same ranges
|
2019-02-14 12:31:42 +03:00 |
|
Stanislav Erokhin
|
b033ad1b2b
|
Add positioning strategy DECLARATION_NAME for DELEGATED_MEMBER_HIDES_SUPERTYPE_OVERRIDE.
|
2017-01-28 03:25:44 +03:00 |
|
Mikhael Bogdanov
|
761aa9df09
|
Report error when delegation method hides superttype override
#KT-12531 Fixed
|
2016-12-16 13:17:28 +01:00 |
|
Denis Zharkov
|
c884cffeea
|
Prohibit return type mismatch for delegation members
#KT-13952 Fixed
#KT-13005 Fixed
|
2016-09-28 11:40:20 +03:00 |
|