e446c988ee
FIR LC: populate default retention policy of annotations
2022-05-24 20:32:56 +02:00
d196050d9f
FIR LC: remove unnecessary bail-out in annotation util
...
There is another place below that handles the case
where no explicit annotations are bound, and there
unknwon nullability will be handled too.
2022-05-24 20:32:56 +02:00
58c2433bdd
FIR LC: use unified annotations' ClassId (missed JvmName)
2022-05-24 20:32:55 +02:00
85388f0c79
FIR LC: correct static modifiers for accessors from companion
2022-05-24 20:32:55 +02:00
a7a01a1f7e
FIR LC: populate JvmStatic accessors from companion
2022-05-24 20:32:55 +02:00
63fb00fa21
FIR LC: revisit when to add fields to companion and/or containing class
2022-05-24 20:32:55 +02:00
89d1a6bc0f
FIR LC: populate fields from companion in interface
2022-05-24 20:32:55 +02:00
0212e9daae
FIR LC: always run with STDLIB (to handle JVM annotations)
2022-05-24 20:32:55 +02:00
6f17a8713c
Fix KT-47708 in FIR by transferring SAM annotations to synthetic constr.
2022-05-24 12:29:28 +00:00
bbf52e8b90
[FE 1.0] Make "Unit conversions" accessible experimental feature
2022-05-23 12:36:16 +02:00
88d35067e3
[FE 1.0] Keep the same type attributes during union or intersection type attributes
...
^KT-51317 Fixed
2022-05-23 12:36:12 +02:00
9d4d55b3ce
[LL API] Extract expect actual matching into separate phase
2022-05-20 13:33:04 +00:00
d66748d011
[FIR] Extract expect actual matching into separate phase
2022-05-20 13:33:04 +00:00
c018270462
Support DNN types in approximator
...
Mostly, it's relevant to FIR since there we started loading
type parameter based types as (T & Any..T?)
2022-05-19 16:54:06 +00:00
c766f20554
FIR: Adjust override checker to definitely-not-nullable types
...
^KT-52201 Related
2022-05-19 16:54:05 +00:00
21b86123e8
FIR: Adjust analysis test data after changes in how we load Java types
...
Especially, it's about types based on type parameters
2022-05-19 16:54:05 +00:00
d7f87e0182
FIR: Adjust analysis test data to changes in loading Java types
2022-05-19 16:54:02 +00:00
f70ae2df3a
FIR: Refine inference constraints when type variable in flexible position
...
That issue might be fixed via changing
TypeVariableMarker.shouldBeFlexible at ConeConstraintSystemUtilContext
but this and some other tricks have been added because of incorrect
handling of constraints where type variable has a flexible bound
^KT-51168 Fixed
2022-05-19 16:53:59 +00:00
934b8c890e
[FIR] Add temporary debug output to better understand CME on TeamCity
...
This commit should be reverted as soon as the reason for those
exceptions is found and fixed.
Tracking issue is KTIJ-21791
2022-05-19 13:03:34 +00:00
3c3c1be543
Fir2Ir: introduce Fir2IrExtensions
...
This allows us to remove DeclarationStubGenerator from Fir2IrConverter,
thus reducing dependency on descriptor-based code.
2022-05-19 12:02:41 +02:00
89b1307e16
[FE 1.0] Don't report UNUSED_* warnings on local properties with delegate
...
^KT-25527 Fixed
2022-05-19 07:14:23 +00:00
4d5a4ccd6b
[FE 1.0] Don't fail on calls of functions with contracts from object
...
^KT-51704 Fixed
2022-05-19 07:14:22 +00:00
20d0a531df
Add new tests to check evaluation of intrinsic сonsts
2022-05-18 21:20:02 +03:00
51ccc32a3f
Update test data after introducing IntrinsicConstEvaluation annotation
2022-05-18 21:19:57 +03:00
ba5c85d6f2
KT-35811: Type parameter angle brackets followed by equal sign are parsed incorrectly if whitespace is missing
2022-05-18 17:23:40 +00:00
eb1d7110ec
FE: Fix null assertion error when left is CollectionLiteral
...
#KT-49961 fixed
2022-05-18 08:57:16 +02:00
292c0c4383
[FE] KT-51234 Check subtyping between context receivers
2022-05-17 15:27:27 +00:00
d857142514
KT-51243 Fix parameterized contextual lambda
...
^KT-51243 Fixed
2022-05-17 15:27:26 +00:00
efd5beb49b
IJ file type optimizations based on extension
...
#KTIJ-21668
Merge-request: KT-MR-6288
Merged-by: Vladimir Dolzhenko <Vladimir.Dolzhenko@jetbrains.com >
2022-05-17 14:46:00 +00:00
254151d82c
[FIR IDE] Use proper FirSessions in FirSupertypesResolution
...
Symbols might be from other modules, so we need to use corresponding
`FirSession`s; otherwise it would be impossible to query symbols
from `firProvider`
^KTIJ-21714 Fixed
2022-05-12 21:22:22 +04:00
11eb5ce39c
[FE] Check types in canHaveCommonSubtype for intersection emptiness with erasing nullability
...
It doesn't affect having common subtypes check but may lead to false positives
^KT-52364 Fixed
2022-05-12 15:11:27 +00:00
7ac001b7bd
[analysis api] fix KDoc for the analyze function
2022-05-12 16:24:24 +02:00
b5ad6f5db4
[analysis api] move analysis session classes to separate packages, use KtAnalysisApiInternals to mark internal API
2022-05-12 16:15:14 +02:00
eb9085c083
[analysis api] rename analyse -> analyze to match American word spelling
2022-05-12 16:15:13 +02:00
fe35204e9f
[analysis api] get rid of additional analyseWithCustomValidityToken
2022-05-12 16:15:11 +02:00
7b038860b5
AA: add analyzeWithKtModule API for analyzing without KtElement
2022-05-12 16:15:03 +02:00
ef0160c026
[analysis api] rename ValidityToken -> KtLifetimeToken
2022-05-12 16:15:02 +02:00
2796d21ec6
[FIR] Create snapshot of tower data context for postponed callable referneces
...
This fixes an issue if type of some implicit receiver was changed because
of changed smartcast in outer scope
^KT-51228 Fixed
2022-05-12 12:15:31 +03:00
ecbf9cd4d5
[analysis api] fix ISE: No conversion was found for SYNTAX
...
^KT-51786 fixed
2022-05-11 13:14:44 +02:00
bc92831475
[analysis api] fix ArrayIndexOutOfBoundsException on KtDiagnostic creation
...
The problem was caused by concurrent access to the non-thread safe List.
This list is not needed anymore, previously it was used to store strong
references to FIR diagnostics corresponding references in KtDiagnostics
were weak references.
^KTIJ-21449 fixed
2022-05-10 15:39:28 +00:00
9f31f074da
[FE 1.0] Take care callable reference candidates with recursive candidate return type
...
^KT-51844 Fixed
2022-05-09 19:23:43 +00:00
ec6ec20728
[FE 1.0] Fix subtyping for captured integer literal types
...
^KT-50877 Fixed
2022-05-09 19:23:42 +00:00
7395f8e019
[low level api] consider property type parameters when matching FIR and PSI declarations
2022-05-09 16:09:02 +00:00
875da1ea1e
[low level api] consider return type when matching FIR and PSI declarations
2022-05-09 16:09:01 +00:00
7675361380
[FE 1.0] Continue completion of calls inside that builder inference call postponed type variables of which has already been inferred
2022-05-09 12:38:39 +00:00
e830778b46
AA: fix typo in StandaloneProjectFactory
2022-05-09 00:22:53 +02:00
754a41eb13
LL: handle jrt in LLFirJavaFacadeForBinaries
2022-05-09 00:22:53 +02:00
3f05ba04a9
AA: add JDK_HOME as dependent SDK module
2022-05-09 00:22:52 +02:00
af32a65c78
AA: use existing utils to define library scope
...
No visible differences from end clients, and we can avoid uses/shares of
Jar file system across modules
2022-05-09 00:22:52 +02:00
82bfa3db05
[fir low level, refactoring] refactor LLFirSessionFactory
2022-05-05 10:43:13 +02:00
Jinseong Jeon