07394bd6d3
[NI] Add test for KT-30300 with complex constraint system problem
2019-05-15 13:42:36 +03:00
d517276a06
Apply "unnamed boolean literal" to idea & J2K + other style fixes
2019-05-13 12:33:46 +03:00
6c9394f0b2
[NI] Use original implicit receiver for DSL violation check
...
There is an inconsistency between old and new inference for storing
receivers of resolved calls. In new inference, for captured types,
receiver will be changed and to preserve behavior of the old inference,
we use original one during important checks.
This is more a workaround than a solution and should be revisited.
#KT-31356 Fixed
#KT-29948 Fixed
#KT-31360 Fixed
2019-05-08 12:19:48 +03:00
2f835ed66f
Specify type arguments to fix compilation against bootstrap compiler
2019-05-06 14:00:19 +03:00
e6deaf3315
[NI] Fix reporting UNSAFE_IMPLICIT_INVOKE_CALL diagnostic
2019-05-06 11:36:09 +03:00
f2bbae6a63
[NI] Fix resolving callable references with typealias in ths
...
#KT-31199 Fixed
2019-05-06 11:36:04 +03:00
8a2b41c8cb
Fix proguard
2019-04-30 19:28:17 +03:00
3e51cbc9dc
FIR: move test to stdlib group thus fixing it
2019-04-30 18:45:56 +03:00
5b929b88e1
[FIR] Allow nullability mismatch in resolve
2019-04-30 18:45:56 +03:00
2111e56d2e
FIR: introduce workaround to avoid type-aliases in ConeClassType
2019-04-30 18:45:56 +03:00
c06d521e78
FIR: support star projection in CreateFreshTypeVariableSubstitutorStage
...
This commit fixes a small pack of tests failing at this point
2019-04-30 18:45:56 +03:00
4bcba000fd
FIR: pass name resolver to annotation deserializer separately
2019-04-30 18:45:56 +03:00
1bb4b32c91
Fir2Ir converter: fix exception on FirUnitExpression
2019-04-30 18:45:56 +03:00
f2ff103ed7
Fir2Ir converter: fix KNPE during use-site scope building for local
2019-04-30 18:45:55 +03:00
8cb16cc06a
FIR provider: support getClassUseSiteMemberScope for type aliases
2019-04-30 18:45:55 +03:00
f457cb099f
FIR deserializer: handle context in more correct way
2019-04-30 18:45:55 +03:00
1e653226ef
FIR deserializer: don't create symbol in advance for class literals
2019-04-30 18:45:55 +03:00
a4b4db5589
FIR resolve: process situation with both implicit receivers properly
2019-04-30 18:45:55 +03:00
3636046e2d
[FIR] Add test with potential recursive call in compiler FE on when with sealed class inside it (KT-18583)
2019-04-30 18:45:55 +03:00
d1d6b8b77a
FIR Java: handle primitive arrays in annotations correctly
2019-04-30 18:45:54 +03:00
77817cb750
Raw FIR: copy class type-parameters into constructors properly
2019-04-30 18:45:54 +03:00
9cef9e4056
Remove isMarkedNullable from FirResolvedTypeRef
2019-04-30 18:45:54 +03:00
458080ca8b
Raw FIR: create resolved references for desugared temporary variables
2019-04-30 18:45:54 +03:00
99994e6c41
FIR: provide super-type as the self-type for anonymous objects
...
This commit is a temporary approximation useful before we have
symbols for local classes & objects
2019-04-30 18:45:54 +03:00
2f7ced2a8e
FIR Java: bind overrides properly
2019-04-30 18:45:53 +03:00
d19a250cbe
FIR: support proper overriding of generic functions
2019-04-30 18:45:53 +03:00
7b9f5293da
FIR: resolve primary constructor parameters in initializers context
2019-04-30 18:45:53 +03:00
fa4ba82350
FIR: provide classifiers via class use-site scope
2019-04-30 18:45:53 +03:00
f99f06831c
FIR resolve: support typing for get class
2019-04-30 18:45:53 +03:00
00ccea220e
Raw FIR: allow implicit type of value parameter (helpful for lambda)
2019-04-30 18:45:53 +03:00
9169071d60
FIR resolve: introduce draft version of the visibility checker
2019-04-30 18:45:52 +03:00
adf845b2fd
FIR: provide resolved super-type as the type of enum entry reference
2019-04-30 18:45:52 +03:00
8e200d8113
Filter out self output directory from classpath in FIR modularized test
2019-04-30 18:45:52 +03:00
e521e66c74
FIR deserializer: provide proper type for enum entries
2019-04-30 18:45:52 +03:00
ca350e64c2
FIR deserializer: add proper container class id to nested class members
2019-04-30 18:45:52 +03:00
daf9f927d4
FIR: add property case to companion test
2019-04-30 18:45:52 +03:00
e41a79fbe9
Unify building references to symbols in html fir dump
2019-04-30 18:45:51 +03:00
0c0f45791b
Anchors instead of refs on declaration site in html fir dump
2019-04-30 18:45:51 +03:00
d28bb5bc70
Render value-parameter modifiers in html fir dump
2019-04-30 18:45:51 +03:00
efbf096879
Support ::class in html fir dump
2019-04-30 18:45:51 +03:00
cb19a586f4
Fold nullability flexible types in html fir dump
2019-04-30 18:45:51 +03:00
3e69838f48
FIR Java: map classes to make java type-parameters have correct bounds
...
Really, this commit implements early J2K mapping for all Java types.
It's questionable and probably wrong at least for super-types,
because, for example, we cannot resolve spliterator() in classes
derived from java.lang.Iterable
2019-04-30 18:45:51 +03:00
cb91c6b977
Add abbreviated types rendering to html fir dump
2019-04-30 18:45:50 +03:00
6a0e3371ae
FIR: resolve conflicts on multiple inheritance of fun with same signature
2019-04-30 18:45:50 +03:00
84fbf4ec25
Partially cache scopes in FIR body resolve transformer
2019-04-30 18:45:50 +03:00
861ea6a30f
Provide hashCode and equals for lookup tag based types
2019-04-30 18:45:50 +03:00
ce0b482413
FIR resolve: add work-around to support enum entries
2019-04-30 18:45:50 +03:00
d22eab680e
FIR: provide nested classes and objects via declared member scope
2019-04-30 18:45:50 +03:00
ee73d21d32
Expand type-aliases in cone (FIR) type context
2019-04-30 18:45:49 +03:00
6f9f9fc087
FIR types: relax requirements around flexible types
2019-04-30 18:45:49 +03:00
Dmitriy Novozhilov