80f4061a3d
Add test on override with expect in return type
2020-10-09 13:44:04 +03:00
f8b8f94040
Adjust vega IDE performance test charts
2020-10-09 11:03:26 +02:00
a6efaf440a
FIR supertypes: replace class phase even if it hasn't unresolved supers
2020-10-09 09:45:46 +03:00
94302614cd
[FIR] Add forgotten resolving status of enum entries (by Dmitry)
2020-10-09 09:45:45 +03:00
5fbe715871
[FIR] Add forgotten replacing resolve phase during type resolve
2020-10-09 09:45:45 +03:00
1f5797e929
Don't resolve annotation arguments in FirTypeResolveTransformer
2020-10-09 09:45:45 +03:00
6f89385aec
Transform forgotten property annotations in FirTypeResolveTransformer
2020-10-09 09:45:44 +03:00
e5463be6ba
Don't transform parameter default values in FirTypeResolveTransformer
2020-10-09 09:45:44 +03:00
bdec245424
Don't transform enum entry initializer in FirTypeResolveTransformer
2020-10-09 09:45:44 +03:00
880eb6da6c
Don't transform delegated constructor args in FirTypeResolveTransformer
2020-10-09 09:45:43 +03:00
949952e766
kotlinx-metadata: minor, remove incorrect ReplaceWith from IS_PRIMARY deprecation
2020-10-08 17:44:35 +02:00
afd710292a
[JVM_IR] Fix mangling of default argument stubs for internal methods.
...
The MethodSignatureMapper expected to be able to look at the body
of the default argument stub. That is of course not possible when
it is from an external dependency.
Instead, we go through the attribute owner to get to the method
the stub is a default argument adapter for.
2020-10-08 17:43:24 +02:00
8c88670185
FIR: copy constructor for typealias'ed inner/nested class
2020-10-08 16:33:13 +03:00
5e5712afbb
[JS IR] Make JsExport not fail on companion objects (KT-37829)
2020-10-08 14:07:50 +03:00
9f716ba37c
Jspecify: Rename DefaultNotNull to DefaultNonNull
2020-10-08 14:00:10 +03:00
c3bada44cf
Jspecify: Rename NullnessUnknown to NullnessUnspecified
2020-10-08 14:00:10 +03:00
2685c7efce
Jspecify: Rename codeanalysis annotations to jspecify ones
2020-10-08 14:00:10 +03:00
59bd7364ab
Enhance bounds for type parameters after loops disconnection
...
Otherwise behavior might change because enhancement may force computation
for other type parameters in cases like:
class A<X extends Y, Y extends X> {}
See the test:
org.jetbrains.kotlin.checkers.DiagnosticsTestGenerated.Tests.J_k#testRecursiveRawUpperBound3
2020-10-08 14:00:10 +03:00
6661814e40
Do not enhance star projections for bounds of raw types
...
We have an invariant that their lower bound is always
SomeType<Any?> and their upper bound is SomeType<*>.
Ehancing the latter to SomeType<out Any> making
lower bound not being a subtype of upper bound that breaks contract
for flexible types (fails with exception)
2020-10-08 14:00:10 +03:00
16b4a2c465
Do not enhance type parameter bounds if they contain a raw type
...
Otherwise enhancement algorithm starts forcing lazy mutually recursive
computations that leads to RECURSION_IN_SUPERTYPES in complex cases
2020-10-08 14:00:09 +03:00
c1b34a83e9
Fix enhancement behavior in case of error-typed upper bounds
2020-10-08 14:00:09 +03:00
2964d52640
Add test case for codeanalysis annotation
2020-10-08 14:00:09 +03:00
dfb1cb8642
Minor. Rename UnknownNullness -> NullnessUnknown
2020-10-08 14:00:09 +03:00
0b958c8ac5
Fix annotation name in test data to DefaultNullnessUnknown
2020-10-08 14:00:09 +03:00
f3a490ee16
Support compiler flag -Xcodeanalysis-annotations
2020-10-08 14:00:09 +03:00
c734bac676
Minor. Reformat JavaNullabilityChecker.kt
2020-10-08 14:00:08 +03:00
ce2b7bded6
Minor. Reformat AbstractForeignAnnotationsTest.kt
2020-10-08 14:00:08 +03:00
90a9ca6cb3
Minor. Rename flag in JvmAnalysisFlags: jsr305 -> javaTypeEnhancementState
2020-10-08 14:00:08 +03:00
93d9301847
Minor. Extract JavaTypeEnhancementStateParser::parseJsr305State
2020-10-08 14:00:08 +03:00
e7208f0c05
Rename Jsr305Parser -> JavaTypeEnhancementStateParser
2020-10-08 14:00:08 +03:00
6c37574fce
Rename Jsr305State -> JavaTypeEnhancementState
...
Also, rename some of the properties
It's needed to store status for codeanalysis annotation in that class
2020-10-08 14:00:08 +03:00
2f04a1505d
Support enhancement for unbounded wildcards from codeanalysis annotations
2020-10-08 14:00:07 +03:00
392ef9aa2b
Support type arguments enhancement from type parameters bounds
...
Currently, only works for codeanalysis annotations because
type parameters bounds are enhanced only for them
2020-10-08 14:00:07 +03:00
e9e05c53e1
Support enhancement for type parameter based types
...
Load them as non-flexible when a relevant type parameter has non-flexible upper bound
(Currently, it only works for case of codeanalysis annotations)
2020-10-08 14:00:07 +03:00
fa2578c795
Prepare type enhancement for codeanalysis annotations
...
- Rename NullabilityQualifierWithApplicability -> JavaDefaultQualifiers
- Use JavaDefaultQualifiers instead of JavaTypeQualifiers for default qualifiers
This change is intended to make code more clear and to allow add some additional
parameters specific for default qualifiers needed for codeanalysis annotations
2020-10-08 14:00:07 +03:00
e27501497b
Support codeanalysis annotations on type parameters bounds
2020-10-08 14:00:06 +03:00
82d39dd86a
Add basic support for default codeanalysis annotations
2020-10-08 14:00:06 +03:00
517cc84f4d
Add initial support for codeanalysis annotations
2020-10-08 14:00:06 +03:00
165a147dd8
Improved IDE performance tests vega specs
2020-10-08 12:26:45 +02:00
0682084ca3
[FIR Completion] Generate part of performance tests for FIR completion
2020-10-08 11:10:50 +03:00
beac3757bc
[IR text test] Minor: add forgotten .fir.txt file
2020-10-08 10:33:58 +03:00
46535bbd9d
Add IDE performance tests vega specs
2020-10-08 00:07:17 +02:00
280fcb5c4b
IDE: IndexNotReadyException while creating new Kotlin file in Dumb mode
...
^KT-42518
2020-10-07 22:36:52 +03:00
2f003bdcb5
Minor, add regression test
...
#KT-42527
2020-10-07 21:31:43 +02:00
af98720720
JVM_IR: move MoveOrCopyCompanionObjectFields down a bit
...
More specifically, it should be done *just before*
JvmPropertiesLowering, as walking the IR tree between them will result
in visiting the moved backing fields twice (once via the companion's
parent, once via the IrProperty).
Ideally, this group of 3 lowerings should be merged into 1 as they are
completely inseparable, but this is slightly harder to do properly.
#KT-42527 Fixed
2020-10-07 21:31:19 +02:00
dd1682510f
JVM_IR: generate accessors for inherited abstract members too
...
#KT-41468 Fixed
2020-10-07 21:23:18 +02:00
68157f09fa
Minor, add temporary workaround for KT-42492
2020-10-07 19:33:40 +02:00
7833698038
[FIR IDE] Fix idea-fir-performance-tests module references
2020-10-07 19:45:03 +03:00
efef18c2ca
FIR IDE: mute not passing highlighting test
2020-10-07 19:45:02 +03:00
96422ea3fe
FIR IDE: introduce highlighting performance test
2020-10-07 19:45:01 +03:00
Dmitry Savvinov