c94dd2939e
[NI] Add test for KT-32429
...
#KT-32429 Can't Reproduce
2019-12-20 11:33:06 +03:00
e730965bc5
[NI] Approximate intersection type in type argument to star if it's necessary
...
#KT-32196 Fixed
2019-12-20 11:33:06 +03:00
e466fd5196
[NI] Infer type variable to Nothing if all upper constraints are from upper bounds
...
#KT-32196 Fixed
2019-12-20 11:17:47 +03:00
7fed7a840b
[NI] Update some testdata broken in NI
2019-12-20 11:17:47 +03:00
c89def9e06
[minor] Update test data for 1.4
2019-12-19 19:31:32 +03:00
ae0efa77e3
[minor] updating fir testdata
2019-12-19 16:28:45 +01:00
99489321f1
[FIR] Add forgotten test data for old FE test
2019-12-19 17:16:14 +03:00
fe8d68ecc7
Use different transformers per module in FIR diagnostics tests
...
Before this commit, we used same transformers for all modules,
which provoked using same ScopeSession for all modules.
Now we re-create transformers for any new module.
This fixes some problems with incorrect caching in ScopeSession.
NB: this provokes ambiguities in some old FE tests,
mostly they're correct (same as old FE).
2019-12-19 17:16:14 +03:00
4e14d04926
[minor] fix testdata for compiler 1.4
2019-12-19 14:25:56 +01:00
99643e1b2d
FIR: do not run full tower resolve on integer literal type
2019-12-19 16:03:17 +03:00
f38bb19fc6
[minor] Fix testdata for compiler 1.4
2019-12-19 14:01:01 +01:00
ac47c0cf3c
[minor] Update test data for 1.4
2019-12-19 15:18:19 +03:00
650cfeaaed
Update inline tests to void PROTECTED_CALL_FROM_PUBLIC_INLINE_ERROR
2019-12-19 12:46:36 +01:00
8322398133
[minor] Fix testdata for compiler 1.4
2019-12-19 12:32:14 +01:00
45e881f03f
[NI] Fix inference if inner system has only by "uninteresting" constraint
...
#KT-32250 fixed
2019-12-19 11:20:10 +01:00
3e537cfcb4
[minor] [NI] Additional test for loosing type annotations on extension functions
...
taken from KT-34820
2019-12-19 11:20:07 +01:00
09c3279cc7
PSI2IR: Infer smart cast on dispatch receiver of FAKE_OVERRIDE calls
...
NB here we have use derived class type with type arguments replaced
with star-projections. This emulates JVM erasure (to some degree),
but, unfortunately, that's best we can offer here at the moment.
2019-12-19 12:24:58 +03:00
e8131d6e30
Choose Java field during overload resolution with a pure Kotlin property
...
^KT-31244 Fixed
2019-12-19 10:53:31 +03:00
aa8578b675
Allow null operators for result and using Result as return type with enabled InlineClasses
2019-12-19 10:22:45 +03:00
ee36fb903f
Allow use expression of array type as named argument for vararg
2019-12-19 10:22:44 +03:00
0cb48999ff
JVM IR: retain optional annotations as package private classes
...
Similarly to how it's done in the old backend (see
PackageCodegenImpl.generateClassesAndObjectsInFile and
AnnotationCodegen.genAnnotation)
2019-12-18 20:25:11 +01:00
c486fa6189
NI: Report incompatible receiver of callable reference
...
^KT-35535 Fixed
2019-12-18 19:33:55 +03:00
dd56c3d918
NI: Fix property references overload ambiguity
...
^KT-35213 Fixed
2019-12-18 19:33:55 +03:00
ab79c3e0a0
Properly mute (and unmute) tests for unrelated backends
2019-12-18 19:29:56 +03:00
dc8240c24e
Expect/actual support in klibs under -Xklib-mpp
2019-12-18 19:29:56 +03:00
218d7c31ed
Remove muted tests on automatic experimental->release coroutine migration
2019-12-18 17:21:44 +01:00
ebb9f09656
[NI] Fix issues with star projection uncapturing
...
Prevent stack overflow during uncapturing of star projection
for parameter with recursive upper bound.
Uncapture star projections for flexible type parameters with
respect to flexible upper bound.
^KT-35210 Fixed
2019-12-18 16:19:33 +03:00
86dc0925b1
[NI] Preserve constraint position for OnlyInputType during incorporation
...
Variable with complex dependency on other variable loses its
original constraint position when variable it depends on is fixed.
To prevent that, original input position is saved in incorporation
position.
2019-12-18 16:19:33 +03:00
2fc79856a2
[NI] Fix OnlyInputTypes for captured types
...
Uncapture projections recursively for cases when captured type is not
top-level type or first level type argument
2019-12-18 16:19:32 +03:00
16db3a8b5f
Fix compiler and IDE tests on Experimental/RequiresOptIn
...
See cdbabf224fe009c7064e
2019-12-18 14:09:06 +01:00
0d8036bb14
JVM_IR: do not generate main() when extension main is present
...
Extension methods with signature C.main() should not cause generation
of main(args: Array<String>).
2019-12-18 15:25:57 +03:00
220ea72d65
JVM_IR: add coercion for index in ArrayGet intrinsic
2019-12-18 13:03:12 +03:00
cca3f13e48
Added multi-module test on inline functions
2019-12-18 12:45:41 +03:00
7eda60d57e
Minor, add more tests on signature-polymorphic calls
...
Add a test on null (since null is a special case in the
PolymorphicSignature spec), and a test on a call without assignment to a
variable
2019-12-17 18:44:19 +01:00
64d40b4743
Support JVM polymorphic signature calls to methods with void return type
...
#KT-32026 Fixed
2019-12-17 18:39:05 +01:00
e009c7064e
Add -Xopt-in command line argument
...
As per https://github.com/Kotlin/KEEP/pull/201
2019-12-17 18:17:48 +01:00
33bc3db144
Deprecate -Xexperimental compiler argument
...
This option is not widely used and its implementation relies on a
complicated mechanism of a module-wide metadata, which is not properly
supported in the IDE (see IdeModuleAnnotationsResolver).
#KT-34649 Fixed
2019-12-17 18:17:48 +01:00
c6db5abb14
FIR call resolve: make earlier qualifier resolver reset
2019-12-17 17:28:09 +03:00
684bdc44bb
FIR: add implementation of reified type parameter references
...
This adds support of T::class.java for reified type parameters
2019-12-17 17:28:01 +03:00
e92985458b
JVM_IR: skip private declarations in imported classes
2019-12-17 15:53:29 +03:00
f099277210
[JS IR] Unmute tests and add KJS_WITH_FULL_RUNTIME
2019-12-17 15:33:43 +03:00
e32ec2a789
[JS IR BE] Support typeOf
2019-12-17 15:33:43 +03:00
03c2350e79
Keep original casts during reification to avoid VerifyError
...
#KT-26435 Fixed
2019-12-17 12:41:22 +01:00
b6de3c2fcc
Disable tail-call optimization for suspend functions with Unit return type
...
if it overrides functions with another return type.
Otherwise, we cannot determine on call site that the function returns Unit
and cannot { POP, PUSH Unit } in order to avoid the situation when callee's
continuation resumes with non-unit result. The observed behavior is that
suspend function, which should return Unit, suddenly returns other value.
#KT-35262: Fixed
2019-12-17 12:08:35 +01:00
9f1f743d55
FIR: fix test data after Make 'statics visible from nested classes'
2019-12-17 12:24:14 +03:00
54d707b3b6
JVM_IR: make constructors of named local classes public
...
They are accessible through reflection
2019-12-16 20:54:48 +01:00
82f48cdd11
JVM_IR: Backwards compatible handling of default tailrec params.
...
Before 1.4 tailrec function default arguments were evaluated
right-to-left instead of left-to-right. This is controlled
by a compile-time flag. This change adds support for the
right-to-left evaluation order when that flag is not set.
2019-12-16 20:52:52 +01:00
f51a0048f6
Minor, rename test and avoid commented directive
...
Get rid of "_lv12" in the test name, since it's actually a test on the
modern compiler. Also, avoid the commented "IGNORE_BACKEND: JVM_IR"
directive in another test to make JVM IR test failures more greppable.
2019-12-16 17:38:11 +01:00
737eaebee6
FIR resolve: fold flexible types whenever possible #KT-31528 Fixed
2019-12-16 12:06:10 +03:00
637e6f5acc
FIR: add forgotten test data for old FE test
2019-12-16 11:10:19 +03:00
Dmitriy Novozhilov