d811f6f4a6
[FIR] Support for EXPOSED_PARAMETER_TYPE
2020-04-20 17:25:25 +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
15d4891c92
[FIR} Test data for EXPOSED_PROPERTY_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
fe02c2bab3
FIR: return Unit from empty lambda
2020-04-20 17:05:34 +03:00
b91cf13259
[NI] Fix expicit super receiver check
...
^KT-37497 Fixed
2020-04-20 10:56:13 +03:00
befa1e114c
Add tests for obsolete issues
...
#KT-38092 Obsolete
#KT-38179 Obsolete
#KT-35105 Obsolete
#KT-36696 Obsolete
#KT-36947 Obsolete
#KT-37337 Obsolete
#KT-37309 Obsolete
#KT-37727 Obsolete
#KT-37735 Obsolete
#KT-37853 Obsolete
#KT-37920 Obsolete
#KT-37709 Obsolete
#KT-37706 Obsolete
2020-04-20 04:10:37 +03:00
f489e4044f
[FIR-TEST] Update testdata after removal bodies of synthetic data class funs
2020-04-17 13:22:19 +03:00
7f02d57d88
[FIR] Correctly detect super type in delegated constructor call
2020-04-17 12:37:29 +03:00
4ffcbc0c2f
[NI] Properly support UnsafeVariance annotation
...
#KT-38134 Fixed
#KT-34433 Fixed
#KT-31823 Fixed
2020-04-16 13:55:47 +03:00
a1e0e8b0e7
[FIR] Handle receiver types of extension methods when computing maximally specific types.
...
Test case (from testPrimitiveReceiver):
fun Short.foo() = 3
fun Int.foo() = 4
1::foo
2020-04-15 11:16:33 +03:00
f7dc06a772
[FIR] Approximate integer constants in lhs of callable reference
2020-04-15 11:13:01 +03:00
c71f9d9640
[FIR] Use argument mapping from resolved call for contract argument mapping
2020-04-15 11:13:01 +03:00
a01bbbb0a0
[FIR] Add processing conditional contracts on property accessors
2020-04-15 11:13:00 +03:00
1074e4bf29
[FIR] Add contracts resolve for property accessors
2020-04-15 11:13:00 +03:00
d808f3e4fb
[FIR-TEST] Add tests for contracts resolve
2020-04-15 11:12:59 +03:00
3c33ee9c68
[FIR-TEST] Move existing contract tests to fromLibrary directory
2020-04-15 11:12:58 +03:00
08b91da6db
FIR: fix body generation for data class's copy method
2020-04-14 11:51:30 +03:00
af27ca013b
[FIR] Fix captured type parameters propagation in deserialization
2020-04-13 20:26:19 +03:00
132c8ee210
[FIR] Apply GOOD testData changes after type parameters support
2020-04-13 20:26:18 +03:00
21ede8b745
[FIR] Add test for inner class type parameter capturing
2020-04-13 20:26:17 +03:00
c2ea0676e4
[FIR] Split functions & constructors processing
2020-04-13 20:26:17 +03:00
acc5633811
[NI] Fix inference of lambda with receiver when wrapped...
...
in when/if or another lambda.
#KT-37419 fixed
2020-04-13 14:50:49 +02:00
a93c7a39e0
[FIR] Provide object [dispatch] && callable reference receivers properly
2020-04-09 15:22:56 +03:00
14731527ed
[FIR] Don't store class functions in local scope
2020-04-09 15:22:55 +03:00
8a2b39d647
[FIR] Add checking receivers of callable references
2020-04-08 10:38:45 +03:00
86fd4da567
[UAST] Fix mapping types containing type aliases
...
#KT-27935 Fixed
2020-04-08 01:25:14 +03:00
65e90743df
FIR: Fix hanging inference case with intersection types
2020-04-07 17:54:55 +03:00
81d9cf76f2
FIR: Add java.io.Serializable as supertypes to built-in classes
2020-04-07 17:54:55 +03:00
168c7f306f
FIR: Fix ambiguity for invoke candidates on qualifier receiver
2020-04-07 17:54:55 +03:00
4cd93a9fec
FIR: Add test for discrepancy in call resolution for qualifiers with old FE
...
^KT-38031 Open
2020-04-07 17:54:55 +03:00
03fb49bb38
[JVM_IR] Improve debugging behavior of inline functions
...
Specifically, this commit improves the stepping behavior of the IR
backend around functions with defaults.
- Improved line numbers in the default handler itself for better
stepping when inlined.
- Improved source information on default arguments
- Improved test coverage of stepping behavior in old and IR backends.
Improves the stepping behaviour around inline methods with default
arguments. In particular, we now accurately step through the
evaluation of default arguments, but do _not_ spuriously show the exit
from the $default handler.
2020-04-07 16:52:45 +02:00
32748ea741
[FIR] Change char constant rendering to prevent encoding inconsistencies
2020-04-06 16:41:58 +03:00
8194652793
Allow placing Suppress on a type parameter
...
#KT-12448
2020-04-03 19:36:37 +03:00
d7460d47de
[FIR] Generate dispatch & extension receivers for variable assignments
2020-04-03 17:21:21 +03:00
f3f7bf70f6
[FIR] Set delegate field receiver properly
2020-04-03 13:29:55 +03:00
036b6c63f6
[FIR] During resolve, set correctly property reference type in delegate
2020-04-03 13:18:47 +03:00
7dd91df10b
[FIR] Don't analyze with DFA already analyzed classes
2020-04-03 10:08:26 +03:00
20d0e8647d
[FIR] Pass data flow to init blocks of local classes
2020-04-03 10:08:25 +03:00
bcd2e5ed2c
[FIR] Add control flow graph to inplace lambdas
2020-04-03 10:08:24 +03:00
1d39270b3e
[FIR] Don't pass data flow to property accessors of non local classes
2020-04-03 10:08:24 +03:00
1d1b8d3290
[FIR-TEST] Update cfg dumps according to previous commits
2020-04-03 10:08:23 +03:00
b90c8eb8ed
[FIR] Analyze annotations of local class before class itself
2020-04-03 10:08:20 +03:00
43e9cbbbf5
[FIR] Add parent graph to CFG
2020-04-03 10:08:18 +03:00
8cb6e8f8af
[FIR] Add control flow graph for class initialization
2020-04-03 10:08:17 +03:00
74d86d82c6
[FIR] Add control flow graph to FirAnonymousInitializer
2020-04-03 10:08:16 +03:00
6cc6b9efcb
FIR: Fix overload resolution for some invoke cases
...
Namely, it's about the cases when there are multiple variable candidates
with the same priority and all of them should be collected and compared
2020-04-02 12:10:50 +03:00
9abe669443
FIR: Fix resolution for invokes on class qualifiers
2020-04-02 12:10:50 +03:00
rapturemain