Commit Graph

29240 Commits

Author SHA1 Message Date
Georgy Bronnikov 611c4fe052 JVM_IR: repair super calls to methods of Any 2020-04-16 10:53:48 +03:00
Dmitry Petrov e2ee3d1d18 Unmute passing tests 2020-04-16 09:07:35 +03:00
Steven Schäfer 74791495d7 JVM IR: Box inline classes in covariant overrides (KT-30419) 2020-04-16 09:07:35 +03:00
Mikhail Glukhikh d906c814cf [FIR] Fix lookup tag creation for values() & valueOf() 2020-04-15 19:32:53 +03:00
Anton Bannykh 81798282b9 JS: support explicit SAM constructor invocation 2020-04-15 17:13:21 +03:00
Georgy Bronnikov 7ea4ac9e9a [FIR] Regenerate FIR tree 2020-04-15 16:26:44 +03:00
Mikhail Bogdanov 1de0fbfc3a Add delegation tests for new default modes 2020-04-15 15:25:03 +02:00
Mikhail Bogdanov 4822d1e2ae Enable d8 by default 2020-04-15 15:25:03 +02:00
Mikhail Bogdanov dda2f53993 Support JVM 8 target on Android 2020-04-15 15:25:02 +02:00
Georgy Bronnikov 284533f72b IR: put resolution of unbound type parameter symbols behind a language version flag 2020-04-15 16:08:35 +03:00
Georgy Bronnikov a1a2da3c0f Revert "IR: put resolution of unbound type parameter symbols behind a language version flag"
This reverts commit 9634e6fba3.
2020-04-15 15:58:44 +03:00
Georgy Bronnikov 9634e6fba3 IR: put resolution of unbound type parameter symbols behind a language version flag 2020-04-15 15:51:20 +03:00
Kristoffer Andersen 7ec4c9990a [JVM] Improve debug step behavior around lambdas.
- Add tests to clarify problematic behavior
- Avoid line numbers on return instructions of lambdas without explicit returns
2020-04-15 14:33:49 +02:00
Steven Schäfer fc7d667282 Psi2Ir: Bind unbound type parameters 2020-04-15 15:32:53 +03:00
Mikhail Bogdanov 10b9ff1066 Minor. Rollback test data change
There is inconsistent behaviour between JS and JVM in case of package presence
2020-04-15 11:04:01 +02:00
Juan Chen 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
Dmitriy Novozhilov f7dc06a772 [FIR] Approximate integer constants in lhs of callable reference 2020-04-15 11:13:01 +03:00
Dmitriy Novozhilov c71f9d9640 [FIR] Use argument mapping from resolved call for contract argument mapping 2020-04-15 11:13:01 +03:00
Dmitriy Novozhilov 5b660d2457 [FIR] Ignore FirStubStatement in visit/transform consistency test 2020-04-15 11:13:01 +03:00
Dmitriy Novozhilov 2e4183db7d [FIR-TEST] Update testdata of old FE contracts tests 2020-04-15 11:13:01 +03:00
Dmitriy Novozhilov fea7872359 [FIR] Add contracts resolve for local classes 2020-04-15 11:13:01 +03:00
Dmitriy Novozhilov cecbf53ee8 [FIR] Add processing of FirStubStatement to Fir2IrVisitor 2020-04-15 11:13:00 +03:00
Dmitriy Novozhilov 67c8030706 [FIR] Update resolve phase for all declaration in contracts stage 2020-04-15 11:13:00 +03:00
Dmitriy Novozhilov d718b596bc [FIR] Add transform declaration and companion to regular class 2020-04-15 11:13:00 +03:00
Dmitriy Novozhilov a01bbbb0a0 [FIR] Add processing conditional contracts on property accessors 2020-04-15 11:13:00 +03:00
Dmitriy Novozhilov 1074e4bf29 [FIR] Add contracts resolve for property accessors 2020-04-15 11:13:00 +03:00
Dmitriy Novozhilov d808f3e4fb [FIR-TEST] Add tests for contracts resolve 2020-04-15 11:12:59 +03:00
Dmitriy Novozhilov 17c6122987 [FIR] Make STATUS resolve phase as required for body resolve 2020-04-15 11:12:59 +03:00
Dmitriy Novozhilov 452fb3e723 [FIR] Add stage for resolve contract desription 2020-04-15 11:12:59 +03:00
Dmitriy Novozhilov 9b903b5e13 [FIR] Process implicit receivers in calls with contract 2020-04-15 11:12:59 +03:00
Dmitriy Novozhilov 300c3c30fb [FIR] Fix erasing existing data flow statements 2020-04-15 11:12:59 +03:00
Dmitriy Novozhilov 3c33ee9c68 [FIR-TEST] Move existing contract tests to fromLibrary directory 2020-04-15 11:12:58 +03:00
Dmitriy Novozhilov ba35c43fe9 [FIR] Add forgotten kind initialization in ConeConditionalEffectToFirVisitor 2020-04-15 11:12:58 +03:00
Dmitriy Novozhilov cef6cd765c [FIR] Make ConeEffectDeclaration an abstract class 2020-04-15 11:12:58 +03:00
Dmitriy Novozhilov 258bc62bac [FIR] Replace deprecation on transformer adapters with opt in annotation 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov eef9b87047 [FIR] List for unresolved effects to resolved contract node 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov 4e1bf5f1e2 [FIR] Add extracting contracts in raw fir builder and light tree builder 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov 25cee12421 [FIR] Add contracts to FIR renderer 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov 50627f2c83 [FIR] Add contract renderer 2020-04-15 11:12:57 +03:00
Dmitriy Novozhilov a89e0123c7 [FIR] Add fir node for raw contract description 2020-04-15 11:12:56 +03:00
Dmitriy Novozhilov ba272101f2 Check for ESReceiver for contracts with is check 2020-04-15 11:12:56 +03:00
Toshiaki Kameyama 9b3c3ae4ba "Replace 'invoke' with direct call" intention: do not add unnecessary parenthesis
#KT-37967 Fixed
2020-04-15 09:59:23 +02:00
Mikhail Zarechenskiy e0da30fb13 Remove JavaResolverUtils.java as its usages were moved to core 2020-04-15 02:37:35 +03:00
Mikhail Zarechenskiy 9607739d30 Introduce synthetic scope for constructors of fun interfaces
#KT-37434 Fixed
2020-04-15 02:37:34 +03:00
Mikhail Zarechenskiy e9e21caeaf Refactoring: move utils to create & initialize SAM constructors to core 2020-04-15 02:29:57 +03:00
Mikhail Zarechenskiy 04223f5711 Extract Java specific check from common method out
This is needed for further refactoring
2020-04-15 02:29:53 +03:00
Mikhail Zarechenskiy cf90fe81ac Move Sam(TypeAlias)ConstructorDescriptor to core 2020-04-15 02:06:32 +03:00
Mikhail Zarechenskiy 54497d11ac Move SyntheticMemberDescriptor.kt to core
This is a first part of unification SAM constructors for all platforms
2020-04-15 02:06:32 +03:00
simon.ogorodnik 6d3dccab83 [FIR] Fix obsolete transforms & visit consistency 2020-04-14 20:05:47 +03:00
Dmitriy Dolovov c35420eaf6 Minor. Add comments 2020-04-14 21:07:59 +07:00