azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
93,957 Commits 1 Branch 0 Tags
6f0ff6aeb0f4f761c192d40c311e954770269d2c
Commit Graph

8105 Commits

Author SHA1 Message Date
Steven Schäfer 6f0ff6aeb0 IR: Fix scope transparency in ReturnableBlockLowering 
An IrReturnableBlock introduces a new variable scope and shouldn't be
replaced with a transparent IrComposite block.
 2022-07-29 01:06:44 +02:00
Ilmir Usmanov b93c000250 Make suspend fun, where suspend is a function error in 1.9 
instead of 1.8.

 #KT-49264
 2022-07-28 21:03:07 +02:00
Igor Chevdar 8981eb85de [box-tests] Added a couple of reproducers for KT-52795 2022-07-28 16:01:17 +00:00
Victor Petukhov a61648651b [FE 1.0] Use original receivers for NI while DSL scope violation checking 
Original receivers are already use in the near place

^KT-46969 Fixed
 2022-07-28 08:51:42 +00:00
Mikhail Glukhikh 3e58c54da9 Add docs to CandidateApplicability, remove DSL_SCOPE_VIOLATION 2022-07-27 15:29:48 +00:00
Mikhail Glukhikh d0c518013a Document&use CandidateApplicability.shouldStopResolve/isSuccess properly 2022-07-27 15:29:47 +00:00
Mikhail Glukhikh 010d5b76e5 Temporary fix for K2/JS tests 2022-07-27 15:29:46 +00:00
Mikhail Glukhikh 220a8e47f4 K2: de-prioritize invoke on dynamic receiver 2022-07-27 15:29:45 +00:00
Mikhail Glukhikh 766d873271 FIR2IR: fix case with extension called on dynamic 2022-07-27 15:29:45 +00:00
Mikhail Glukhikh 0611f3b8e7 CandidateApplicability: add K1/K2 prefixes when applicable 2022-07-27 15:29:44 +00:00
Mikhail Glukhikh 8e9e8302f7 CandidateApplicability: merge INAPPLICABLE_MODIFIER into CONVENTION_ERROR 2022-07-27 15:29:43 +00:00
Mikhail Glukhikh 577b9686c1 K2: fix using compatibility resolve for SAM constructors 2022-07-27 15:29:42 +00:00
Mikhail Glukhikh 32a73968de Stop tower resolve in K2 in more similar manner with K1 2022-07-27 15:29:41 +00:00
Ilya Gorbunov 1addc23b23 Add range iteration tests for rangeUntil 
#KT-52932
 2022-07-26 23:52:10 +00:00
Steven Schäfer d2f6acfd34 FIR: Add resolved type refs to the annotation container context for diagnostics 2022-07-26 09:34:09 +00:00
Ivan Kochurkin 80450042c7 [FIR] Ignore KtFakeSourceElementKind in FirRecursiveProblemChecker 2022-07-25 23:30:10 +02:00
Ivan Kochurkin 0af43757e3 [FIR] Implement FirNativeIdentifierChecker 
* INVALID_CHARACTERS_NATIVE
 2022-07-25 23:30:10 +02:00
Ivan Kochurkin a44d5bf52f [FIR] Implement FirNativeThreadLocalChecker 
* INAPPLICABLE_THREAD_LOCAL
* INAPPLICABLE_THREAD_LOCAL_TOP_LEVEL
 2022-07-25 23:30:10 +02:00
Ivan Kochurkin 987137cf76 [FIR] Implement FirNativeSharedImmutableChecker 
* INAPPLICABLE_SHARED_IMMUTABLE_PROPERTY
* INAPPLICABLE_SHARED_IMMUTABLE_TOP_LEVEL
 2022-07-25 23:30:10 +02:00
Ivan Kochurkin 1bb158e45c [FIR] Add SourceSet.generatedDir() and use it in build.gradle.kts 2022-07-25 23:30:10 +02:00
Ivan Kochurkin 9f9cef392f [FIR] Minor fixes of FirJvmDefaultChecker 2022-07-25 23:30:09 +02:00
Ivan Kochurkin ad1fb07a95 [FIR] Implement FirNativeThrowsChecker 2022-07-25 23:30:09 +02:00
Ivan Kochurkin c47148b8fb [FIR] Remove FirJsSyntheticNamesProvider and FirNativeSyntheticNamesProvider.kt 2022-07-25 23:30:09 +02:00
Ivan Kochurkin 502349c594 [FIR] Implement Native test infrastructure, add FirNativeSessionFactory 2022-07-25 23:30:09 +02:00
Ivan Kochurkin 2f56b29b3f [FIR] Extract FirSessionConfigurator and IncrementalCompilationContext to separated classes 
With FirSessionFactory and FirJsSessionFactory
 2022-07-25 23:30:09 +02:00
Ivan Kochurkin 94527e24e8 [FIR] Commonize code for creating common, JVM and JS session 
Extract FirAbstractSessionFactory
 2022-07-25 23:30:09 +02:00
Denis.Zharkov 7f7e5c5975 FIR: Fix candidate receivers orders when choosing a context receiver 
^KT-53257 Fixed
 2022-07-25 15:11:29 +00:00
Ivan Kylchik 008a5f02e5 Make enum entries to be interpreted in right order 
#KT-53727 Fixed
 2022-07-23 18:32:52 +00:00
Alexander Udalov 584b70719e JVM IR: disable SAM conversion in case type has 'in' projection 
... and the corresponding type parameter has a non-trivial (i.e.
non-`Any?`) upper bound.

The best solution here would be to get rid of
`removeExternalProjections` completely, and just use the type of the
argument at the call site, but see KT-52428.

 #KT-51868 Fixed
 2022-07-23 01:10:53 +02:00
Mikhail Glukhikh 3ae75a5094 FIR2IR: generate annotations on fake override parameters #KT-53208 Fixed 2022-07-22 16:39:52 +00:00
Mikhail Glukhikh 5445f4043a K2: expand types during smartcasting to prevent redundant intersections 
#KT-53184 Fixed
 2022-07-22 16:39:52 +00:00
Mikhail Glukhikh bc396b9765 K2: don't report RETURN_TYPE_MISMATCH on last statement returns 
#KT-53198 Fixed
 2022-07-22 16:39:51 +00:00
Victor Petukhov 00d1e46c5a [FE 1.0] Don't throw exception during substitution of accessors, just return original 2022-07-22 16:03:53 +00:00
Victor Petukhov db54d18c72 [FE 1.0] Add fallback for extracting when call 2022-07-22 16:03:52 +00:00
Victor Petukhov 224beb24eb Remove explicit disabling the new type inference from test data 2022-07-22 16:03:51 +00:00
Mikhail Glukhikh 78da5907c8 K2 checkers: separate report committer from other diagnostic components 2022-07-22 11:35:28 +00:00
Mikhail Glukhikh eba0e94429 K2: get rid of manual diagnostic suppression in checkers 2022-07-22 11:35:28 +00:00
Mikhail Glukhikh 07f16ef378 K2 LL API: implement automatic diagnostic suppression 2022-07-22 11:35:27 +00:00
Mikhail Glukhikh 9add6f3d55 K2: add more accurate & more automatic control of diagnostic suppression 
#KT-51363 Fixed
 2022-07-22 11:35:26 +00:00
Mikhail Glukhikh 179b267d9f K2: add test with some samples of diagnostic suppression 2022-07-22 11:35:25 +00:00
Ilya Kirillov a0f0fa5a47 [Analysis API FIR] fix candidate collection for delegatedConstructor call 
^KTIJ-20446
 2022-07-22 00:58:59 +02:00
Ilya Kirillov e8bf8cb182 [Analysis API FIR] fix type rendering for type with "Cannot infer type for parameter" error 2022-07-22 00:58:58 +02:00
Sergej Jaskiewicz ea556ce428 [JS IR] Implement stepping tests for Kotlin/JS 
We already have stepping tests for Kotlin/JVM.
They are helpful for testing the correctness of the generated
debugging information.

They are better than line number tests in that they allow to test the
_behavior_, not the generated data. The structure of the data may change
even if the behavior stays the same. For that reason, stepping tests
are more stable.
 2022-07-19 16:06:23 +00:00
Ilya Kirillov dbfeeae696 [fir] add more info to the error message in FirModuleData 2022-07-19 17:17:32 +02:00
Pavel Mikhailovskii 846537b367 KT-45375 Lightweight lambdas; KT-52817 introduce @JvmSerializableLambda 2022-07-18 17:10:07 +02:00
Pavel Mikhailovskii fd5800e8b5 KT-53090 Support -Xlambdas=indy for anonymous functions 2022-07-18 08:18:05 +00:00
Alexander Udalov b50d2ff20a Revert "JVM IR: Move direct invoke optimization into a separate pass" 
This reverts commit f0760e0550.

The reason is that it leads to KT-53202.
 2022-07-15 18:29:07 +02:00
Mikhail Glukhikh 623f832bfd FIR: fix private-to-this corner case with outer class type parameter 
Related to KT-49875
 2022-07-15 07:57:42 +00:00
Mikhail Glukhikh d16e5e5e50 FIR: Support checking PRIVATE_TO_THIS visibility #KT-49875 Fixed 2022-07-15 07:57:41 +00:00
Mikhail Glukhikh 83200f8774 FIR: Support inferring PRIVATE_TO_THIS visibility see KT-49875 2022-07-15 07:57:41 +00:00