73a2838555
Do substitution captured type's super types as well
...
^KT-45982 Fixed
2021-04-12 14:00:40 +03:00
e8275d2527
Complete old inference's callable references properly, by updating descriptor, resolved call and recorded expression's type
...
^KT-45721 Fixed
^KT-44994 Fixed
2021-04-12 14:00:38 +03:00
d804e73c22
Avoid subtype checking between type variable of self type and captured star projection only for invariant positions
...
Subtyping with non-invariant positions may produce useful constraints
^KT-46001 Fixed
2021-04-12 13:44:09 +03:00
0274c41919
[minor] FIR: fix deprecation in test
2021-04-12 10:08:54 +02:00
9e78e43c49
[Gradle] Always declare system property reads for compile tasks
...
When Kotlin plugin is applied in buildSrc or included build that defines Gradle plugins it can cause Gradle to report undeclared system property reads at configuration time. Declaring all system properties reads through Gradle providers to cover all these cases.
#KT-45910 Fixed
2021-04-12 03:15:10 +03:00
47407c4445
[FIR] Add NAME_IN_CONSTRAINT_IS_NOT_A_TYPE_PARAMETER check
2021-04-11 16:18:07 +00:00
ea22f4b681
IR: check absence of extension receiver in isMethodOfAny
...
Otherwise extension methods named toString/equals/hashCode were
generated incorrectly on JVM IR, which could result in
AbstractMethodError at runtime.
#KT-45963 Fixed
2021-04-11 13:54:13 +02:00
bce92d824a
Minor. Add tests to check returning Result from functions
...
Mainly, that virtual functions, returning Result, are mangled.
#KT-45855
2021-04-09 22:09:03 +03:00
bcaad7487f
JS PIR: regenerate .proto
2021-04-09 19:54:24 +03:00
923303c2c1
JS PIR: move PIR proto messages to a separate file
2021-04-09 19:54:23 +03:00
8fe8419ad4
JS IR: serialize declarations without mutable state
2021-04-09 19:54:21 +03:00
1e822aa28a
JS PIR: carrier serializer implementation
2021-04-09 19:54:20 +03:00
c97066527c
JS PIR: carrier serializer / deserializer
2021-04-09 19:54:19 +03:00
030498c5e1
JS IR: updated .proto
2021-04-09 19:54:18 +03:00
5de04f49ca
JS PIR: updated declarations
2021-04-09 19:54:17 +03:00
1f0d83b420
JS PIR: update the generator
...
- Use symbols in carriers
- .proto messages for carriers
- carrier serializer/derserializer
2021-04-09 19:54:16 +03:00
c224dd4cb1
JS IR: JsMapping serialization
2021-04-09 19:54:15 +03:00
ba5582de99
IntArray and LongArray serialization
2021-04-09 19:54:14 +03:00
387b84b37c
JS IR: simplify DCE root calculation
2021-04-09 19:54:13 +03:00
b27a109a1e
[JVM] Fix shrinking of local range for dead variables.
...
Coroutine transform would occasionally *extend* the range of a
local instead of shrinking it (if the next suspension point
is after the end point for the local). That leads to the local
variable table having a local that covers code where it is not
defined. That is invalid and leads to D8 removing the locals
table from the code.
2021-04-09 19:06:13 +03:00
0761c4bf94
Optimize KtFile.getScript
2021-04-09 14:45:20 +02:00
254e41b70d
FIR: apply bad test data changes related to ABSTRACT_*_NOT_IMPLEMENTED
2021-04-09 14:52:41 +03:00
818c54e3a6
FIR: report ABSTRACT_*_NOT_IMPLEMENTED on appropriate intersections
2021-04-09 14:52:34 +03:00
04268a720f
Optimize KtFile.isScript
2021-04-09 12:17:51 +02:00
37813d9d82
Add version requirements for declarations with !! types
...
^KT-26245 Related
2021-04-09 13:06:40 +03:00
403406f92d
Ignore not-null assertion test related to T!! on JVM_IR
...
^KT-45935 Related
2021-04-09 13:06:39 +03:00
16ca8ddbbd
Do not parse !! as part of annotation type
...
^KT-26245 Related
2021-04-09 13:06:38 +03:00
37f923a98f
Do not approximate DefinitelyNotNullType in public declarations
...
Because since 1.6 they become normal denotable types
^KT-26245 Fixed
2021-04-09 13:06:37 +03:00
e74a0c7ef7
Pass languageVersionSettings to AbstractTypeApproximator
2021-04-09 13:06:35 +03:00
59372fd15f
Enable ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated since 1.6
...
^KT-36770 Fixed
2021-04-09 13:06:34 +03:00
bd05ef19de
Add blackbox test for definitely-not-null types
...
^KT-26245 Fixed
2021-04-09 13:06:32 +03:00
30eb9ad32f
Add serialization/deserialization of definitely-not-null types
...
^KT-26245 In Progress
2021-04-09 13:06:31 +03:00
6ca6bb2d45
Load configuration for FirLoadCompiledKotlin
2021-04-09 13:06:29 +03:00
b9d2a1842a
Support definitely-not-null generic T!! types in Parsing and FE1.0
...
^KT-26245 In Progress
2021-04-09 13:06:28 +03:00
5a0b75bd89
FIR checker: warn unnecessary safe calls
2021-04-09 12:32:45 +03:00
2ecb6733ed
FIR checker: warn unnecessary non-null assertions
2021-04-09 12:32:45 +03:00
5229d4e4f4
Apply bad LT test changes related to COMPONENT_FUNCTION_..._MISMATCH
2021-04-09 12:32:44 +03:00
87c50235ed
FIR checker: report COMPONENT_FUNCTION_RETURN_TYPE_MISMATCH
2021-04-09 12:32:44 +03:00
e511eec90e
Added optimized PackageFragmentProvider#isEmpty(FqName)
2021-04-09 09:27:39 +00:00
37055c5a09
[FIR] Add REPEATED_BOUND, CONFLICTING_UPPER_BOUNDS diagnostics
2021-04-09 07:38:39 +00:00
3e9ef56c31
Forbid using ext.property type parameter also for delegate ext.receiver
2021-04-09 07:56:35 +03:00
e2cc0510de
Rewrite FirDeclarationDataRegistry.data to avoid type parameter problems
2021-04-09 07:56:35 +03:00
0c17ce2f44
Suppress DELEGATE_USES_EXTENSION_PROPERTY_TYPE_PARAMETER in code
2021-04-09 07:56:35 +03:00
fcbab45a88
FE 1.0: introduce DELEGATE_USES_EXTENSION_PROPERTY_TYPE_PARAMETER error
...
#KT-24643 Fixed
2021-04-09 07:56:35 +03:00
ed88aa43a4
JVM_IR KT-45868 look for parent for delegating lambda in scope stack
2021-04-08 23:49:59 +03:00
c2a5b0b6e2
JVM_IR KT-45920 don't add special bridge if it clashes with known method
2021-04-08 23:48:39 +03:00
14ead33db6
Add teamcity problems when generating files instead of exception
2021-04-08 18:51:10 +03:00
3757bd0c1f
Use environment variable for getting TEAMCITY_VERSION
2021-04-08 18:51:09 +03:00
02e37dceeb
Regenerate LightAnalysisModeTestGenerated.java
2021-04-08 18:51:08 +03:00
16dc0a7d29
[Gradle] Read more system properties through Gradle providers
...
Related to #KT-43605
2021-04-08 14:28:05 +03:00
Victor Petukhov