eff5f3a242
NI: do type checking for anonymous functions not inside a call
...
^KT-38890 Fixed
^KT-38439 Fixed
2020-05-19 16:29:14 +03:00
fb6ef38370
Revert "Add info about the end of range in scripting REPL compiler messages"
...
This reverts commit af251caf
2020-05-15 21:15:48 +02:00
73dec25eb1
NI: intersect DFI types before capturing
...
^KT-37887 Fixed
2020-05-14 19:54:59 +03:00
6fb40878c4
Minor, do not report "no reflection" error on KTypeParameter
...
Since an implementation of KTypeParameter for stdlib is coming, an
instance of which can be obtained through `typeOf`.
2020-05-13 10:04:27 +02:00
ea413cefb4
Remove TypeOfChecker for JVM frontend
...
This is needed to support typeOf with non-reified type parameters.
#KT-30279
2020-05-13 10:04:26 +02:00
4597fff18a
Prohibit OptionalExpectation on nested annotation classes
...
Because the new generation scheme based on module metadata does not
support them, and we don't plan to have them in the standard library
yet.
2020-05-12 19:28:58 +02:00
11d05c1abd
NI: propagate isNullabilityConstraint flag into constraint injector and inherit it
...
^KT-37510 Fixed
2020-05-12 16:15:07 +03:00
a0400f59c2
Add -Xskip-prerelease-check compiler argument
...
#KT-38070 Fixed
2020-05-07 13:24:26 +02:00
e3fe1bcf7c
[NI] Place varargs at the end of value arguments list
...
This is needed to preserve behavior with the OI
2020-04-29 14:15:15 +03:00
90e888a1b6
Discriminate overloading expect MemberDescriptors
...
Issue #KT-38298
2020-04-28 13:16:18 +07:00
6b9a7464f5
PSI2IR: Support suspend conversion for function references
2020-04-27 21:02:37 +03:00
d0f4631192
Resolve ambiguity between kotlin.Throws and kotlin.native.Throws
...
KT-35468
2020-04-26 23:08:40 +03:00
d3f541a715
Overcome ambiguity between kotlin.Throws and kotlin.jvm.Throws
...
^KT-35468 In Progress
2020-04-26 23:08:22 +03:00
534ff58d9c
Minor. Introduce constant JVM_THROWS_ANNOTATION_FQ_NAME
...
KT-35468
2020-04-26 23:08:18 +03:00
67f4b7e2b0
Add a dependency from all klib-originated modules to the main module
...
This is required, for instance, to properly resolve supertypes across
the modules.
Issue #KT-37832 Fixed
2020-04-24 12:54:36 +03:00
537a59d6ca
Introduce basic suspend conversion in FE
...
#KT-15917 In Progress
2020-04-22 16:10:44 +03:00
9e04ebdace
Minor: fix typo
2020-04-22 14:27:40 +03:00
b62400124a
FIR: Support DEBUG_INFO_CALL calls in tests
2020-04-21 09:48:03 +03:00
2e8f73adba
[FIR] Change errors location from Errors.java to FirErrors.kt
2020-04-20 17:25:25 +03:00
4e577caa99
[FIR] Support for EXPOSED_FUNCTION_RETURN_TYPE
2020-04-20 17:25:25 +03:00
0f16c88dd2
[FIR] Support for FIR_EXPOSED_RECEIVER_TYPE
2020-04-20 17:25:24 +03:00
02c90c6576
[FIR] Support for EXPOSED_PROPERTY_TYPE
2020-04-20 17:25:24 +03:00
cc86767a23
[FIR] Support for EXPOSED_TYPEALIAS_EXPANDED_TYPE
2020-04-20 17:25:24 +03:00
b91cf13259
[NI] Fix expicit super receiver check
...
^KT-37497 Fixed
2020-04-20 10:56:13 +03:00
af251cafa4
Add info about the end of range in scripting REPL compiler messages
2020-04-16 21:16:08 +02:00
b0483a67c2
Perform tryLock-and-checkCanceled on waiting lock in LockBasedStorageManager
...
Relates to #KT-38012
2020-04-14 13:11:30 +02:00
a7b959b88b
Fix delegated property resolve with intermediate ID provideDelegate
...
#KT-37406 Fixed
2020-04-09 13:34:29 +03:00
d1c5a42124
KT-36024 Generate adapted callable references as lambdas
...
Make sure both JVM and JVM_IR use the same information to determine
whether a callable reference requires argument adaptation.
2020-04-08 19:02:33 +02:00
97be5617ca
Renamed -Xklib-mpp to -Xexpect-actual-linker to reduce user confusion
2020-04-08 05:23:12 +03:00
73e1ddc505
Allow Result as a return type if one enabled inline classes explicitly
...
#KT-38042 Fixed
2020-04-08 01:25:13 +03:00
b7e270f1c1
Add listener for module descriptor invalidation
2020-04-06 14:01:06 +02:00
38a719cb22
[NI] Fix trace manipulations for builder inference and ::-expressions
...
For a class literal Type::class we are resolving Type as a constructor,
getting all diagnostics (about missing arguments, for example) and then
just not committing this trace with errors
#KT-37626 Fixed
2020-03-31 15:50:58 +03:00
0abe3a6c39
[NI] Report not-a-class LHS error for callable reference arguments
...
^KT-37531 Fixed
2020-03-31 12:04:01 +03:00
a416fde814
[NI] Move abstract class instantiation check to call checkers
...
This way the check works for callable reference arguments.
Also candidate applicability during resolution does not change compared to the old inference.
^KT-37530 Fixed
2020-03-31 12:04:01 +03:00
a29385e758
[Spec tests] Small clean-up CheckerTestUtil and around it
2020-03-30 11:15:55 +03:00
f7ff60cb77
[Spec tests] Add DEBUG_INFO_AS_CALL diagnostic tag for callable references
2020-03-30 11:15:53 +03:00
008a0df28f
[Spec tests] DEBUG_INFO_LEAKING_THIS diagnostics type is changed from error to info
2020-03-30 11:15:53 +03:00
b6fdc96994
Reverse dependency 'psi' <-> 'frontend.common'
...
Move ParseUtils to 'psi', and ImportPath to 'frontend.common'.
Now 'psi' depends on 'frontend.common', and that allows to remove
dependency of 'fir:tree:tree-generator' on 'psi', allowing the former to
compile in parallel with the old frontend code.
2020-03-28 21:30:07 +01:00
d70271b6aa
Move RequireKotlinNames to 'descriptors'
...
Also move version string regex there and rename the class to
RequireKotlinConstants. This allows to get rid of dependency of
'serialization' on 'frontend'.
2020-03-28 21:30:07 +01:00
4dcd0d1cb6
Extract module 'config' out of 'frontend'
...
Also move deprecated TargetPlatform there. This allows to get rid of the
dependency cli.common -> frontend, and even on frontend.common.
2020-03-28 21:30:05 +01:00
90ae416b72
Minor, move KotlinTypeRefinerImpl out of 'config' package
2020-03-28 21:30:04 +01:00
4aa47be202
Move CommonResolverForModuleFactory to 'frontend'
...
This will allow to get rid of dependency of 'cli-common' on 'frontend'.
2020-03-28 21:30:04 +01:00
8dd04789ad
Remove obsolete InlineStrategy
...
Replace corresponding metadata property in js.ast with Boolean. This
allows to get rid of dependency of 'js.ast' on 'frontend'.
2020-03-28 21:30:03 +01:00
7bfd354a77
Don't report UNUSED_PARAMETER in main from object #KT-37718 Fixed
2020-03-27 16:46:59 +03:00
2bda31ac38
Exclude annotation properties in 'explicit visibility' api mode check
...
#KT-37432 fixed
2020-03-25 19:41:52 +05:00
b23aff4d0d
[NI] Type-check lambda arguments against approximated type
...
It's required as we analyze lambda with the approximated type too
2020-03-23 16:39:20 +03:00
831806fe2f
Revert "Optimize MutableDiagnosticsWithSuppression"
...
Fixes flaky tests on windows:
QuickFixTestGenerated$Suppress$AnnotationPosition
.testTopLevelFunctionSuppressOnFile
.testTopLevelFunctionSuppressOnFileWithSuppress
2020-03-20 08:02:25 +01:00
950ab01596
Avoid substitution and type approximation for simple calls
...
#KT-37392 fixed
2020-03-18 18:34:09 +01:00
26f919df03
Fix some nullable usages of not-null type parameters (KT-36770)
2020-03-18 10:24:26 +03:00
31776d9a3b
[CFA] Mark arguments of all annotation calls as USED_AS_EXPRESSION
...
Also revert hacky fix of KT-37294 introduced in 80caa063b
2020-03-13 14:32:28 +03:00
Victor Petukhov