877b53201b
[FIR] Prohibit access to members of companion of enum from enum entry initializer
...
^KT-49110
2021-10-29 18:45:23 +03:00
29bb8cea8f
[FIR] Add missing ensureResolved to FirClassSubstitutionScope
...
`createNewTypeParametersAndSubstitutor` call might need resolved types
to be able to work correctly with the generics' type bounds
2021-10-29 15:59:35 +03:00
744191099c
[FIR] Fix false positive "return required" for if/else with inlined return in branch
...
^KT-49289 Fixed
2021-10-28 20:02:25 +03:00
b48870c11f
FIR checker: pass expected array type in ASSIGNING_SINGLE_ELEMENT_TO_VARARG_IN_NAMED_FORM_FUNCTION
...
This is needed by the IDE quickfix to generate the correct `arrayOf` (or
`intArrayOf`, etc`) wrapper call.
2021-10-28 16:36:02 +03:00
0cce0fbbfb
[FIR] Remove unused methods from FirProvider
...
Those methods were created for first prototype of FIR plugin API, and
now they are completely redundant
2021-10-28 15:01:22 +03:00
4490f64666
[FIR] Get rid of FirAnnotatedDeclaration
...
Now all fir declarations have annotations
^KT-49260 Fixed
2021-10-28 15:01:18 +03:00
0eb2d117ef
[FIR] KT-45972, KT-49072: Add visibility checks to the type resolution
2021-10-28 14:31:27 +03:00
2dc2a90755
Introduce an API to convert TypeConstructorMarker to TypeParameterMarker
2021-10-28 12:54:45 +03:00
da2d3f29da
Add multiple renderer sources support to new diagnostics infrastructure
2021-10-27 22:17:41 +02:00
9e60c70db7
Add abstract source element and switch diagnostics to it
2021-10-27 22:17:40 +02:00
d3f3aa4b29
Move specific diagnostics infrastructure to frontend.common-psi
2021-10-27 22:17:40 +02:00
e9f59e8d1d
Move common diagnostics infrastructure to frontend.common
2021-10-27 22:17:39 +02:00
f1d0ead652
Fix fir analysis api after refactorings
2021-10-27 22:17:39 +02:00
31c58767cf
Rearrange fir diagnostic for further reuse
2021-10-27 22:17:39 +02:00
a65beb2dc5
Move Fir*SourceElement to frontend.common, rename to Kt* (complete)
2021-10-27 21:44:11 +02:00
8bd0b237b7
Convert EXPOSED_PROPERTY_TYPE_IN_CONSTRUCTOR into deprecation error
...
#KT-28078 Fixed
2021-10-27 19:43:01 +03:00
a969e5af50
FIR: fix API mode checker for local functions
2021-10-27 19:42:52 +03:00
31b7248769
FIR: suppress excessive warning on java Class
...
The root cause is https://youtrack.jetbrains.com/issue/KT-49358 though.
We should undo this change after that issue is fixed.
2021-10-27 19:42:45 +03:00
3f2c86afb8
FIR IDE/LC: introduce/use delegated member scope
2021-10-27 17:06:32 +02:00
700f8ac287
FIR IDE: relocate scope-related test data
2021-10-27 17:06:32 +02:00
4266ffa274
FIR IDE: fix typo in test directory (overridden)
2021-10-27 17:06:32 +02:00
907d2e9ed4
FIR LC: populate delegates to interface methods
2021-10-27 17:06:31 +02:00
693564084a
FIR LC: populate delegate fields
2021-10-27 17:06:31 +02:00
b52912162f
FIR IDE: API to indicate delegated property
2021-10-27 17:06:30 +02:00
96fbbb6f69
FIR LC: reorder fields (to be backward-compatible)
2021-10-27 17:06:30 +02:00
f26059a7d3
[FE] Add clear warning about future changes about nullability of safe call with non nullable receiver
...
^KT-46860
2021-10-27 16:28:37 +03:00
2261928f4f
Process simple CapturedType in ClassicTypeSystemContext.typeConstructorProjection as well
...
^KT-49101 Fixed
2021-10-26 19:37:58 +03:00
02d06b6390
Transform VisibilityError diagnostic for callable references to further report it on the corresponding argument of a base call
...
^KT-46437 Fixed
2021-10-26 19:37:57 +03:00
5690a9f21b
FIR: Fix overridability of Kotlin vararg from Java
2021-10-26 18:45:59 +03:00
4b1ce6c1a7
FIR: Fix safe call receiver nullability after null check
2021-10-26 18:45:59 +03:00
0bdea4f20a
FIR: Do not create incorrect synthetic property
2021-10-26 18:45:59 +03:00
52c2908bb7
FIR: Fix another inconsistency with FE1.0 in synthetic properties resolution
2021-10-26 18:45:59 +03:00
16e8e0e58b
FIR: Add test on raw type scope
...
^KT-49351 Related
2021-10-26 18:45:58 +03:00
507422d3d8
FIR: Fix bare type case with flexible supertypes
2021-10-26 18:45:58 +03:00
94129dce2e
FIR: Add a test with current behavior on upper bounds with raw types
...
^KT-49345 Related
2021-10-26 18:45:58 +03:00
8e911b1e98
[FIR IDE] Add fast path to isImplicitFunctionCall and improve its kdoc
2021-10-26 16:48:00 +03:00
d8df177b83
FIR LC: fix return type of suspend function
2021-10-26 14:12:29 +02:00
5ed9cac0cc
FIR LC: populate continuation parameter for suspend function
2021-10-26 14:12:28 +02:00
1fe7a1ebb3
Add FIR test for KT-35565
2021-10-26 13:38:35 +03:00
e195f0426e
FIR IDE: add KtExtensionReceiverSymbol
...
This symbol represents the extension receiver of a callable and
currently is used as the resolution target of `this` in a callable with
extension.
2021-10-26 08:50:38 +00:00
d3c91ee9be
FIR IDE: align resolution behavior of super with FE1.0
...
That is, for a labeled `super`, the keyword should resolve to the super
type and the label should be resolved to the current type.
2021-10-26 08:50:37 +00:00
0d966ec65a
FIR IDE: resolve implicit invoke to callable property
2021-10-26 08:50:37 +00:00
6a59dc7fa5
FIR: add bfs helper and use it
...
It's also used in Kotlin quickfixes in intellij repo
2021-10-26 00:42:09 +02:00
a11cd74b28
Revert "FIR: add bfs helper and use it"
...
This reverts commit dbb0496d23
2021-10-26 00:37:31 +02:00
dbb0496d23
FIR: add bfs helper and use it
...
It's also used in Kotlin quickfixes in intellij repo
2021-10-26 00:06:00 +02:00
3148913e60
Fix test data
...
It is a follow-up commit for 9b3add0130
2021-10-25 21:15:37 +03:00
9524825662
FIR LC: approximate local type only if it's necessary and out of scope
2021-10-25 20:24:48 +03:00
9ed2c9d371
FIR LC: add tests about type approximation in PsiType provider
2021-10-25 20:24:48 +03:00
7fb82232cd
FIR IDE: use correspondingProperty in ref shortener
2021-10-25 18:16:32 +03:00
112f365414
FIR IDE: fix ref shortener on property in primary constructor
...
Currently the shortener ignores the created FirProperty, as a result,
any annotations declared on the getter or setter are ignored. The test
is added in Intellij repo.
2021-10-25 18:16:31 +03:00
Dmitriy Novozhilov