azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
96,341 Commits 1 Branch 0 Tags
194d1cfccf6c0404ba83eb166eb41225cb06655a
Commit Graph

230 Commits

Author SHA1 Message Date
Ivan Kochurkin 194d1cfccf [FIR] Filter out incorrect library provides for dependencyProviders 
Get rid of providers duplication
 2022-11-23 18:29:29 +00:00
Ilya Kirillov 7781ad67d4 [FIR] introduce FirValueParameter.containingFunctionSymbol 
^KT-55034 fixed
 2022-11-22 18:25:30 +01:00
Dmitriy Novozhilov eb8ce449e3 [FIR] Don't lose flexible types during capturing from expression 2022-11-22 15:46:22 +00:00
Dmitriy Novozhilov 01c6c7dc59 [FIR] Properly approximate return type of callable declarations 
- approximate intersection types in all non-local declarations
- approximate local types in non-private non-local declarations
 2022-11-22 15:46:20 +00:00
Dmitriy Novozhilov 991d8c18aa [FIR] Fix incorrect inference of return type of anonymous functions 
Also remove incorrect subtype check checkers

Test unsafeVarianceInAliasedFunctionalType.kt started to fail because
  of KT-54894. This bug existed before, changes from this commit just
  unhided it (previously it was hidden because incorrect subtype check
  in `isSubtypeForTypeMismatch` which is used by FirFunctionReturnTypeMismatchChecker
 2022-11-22 15:46:19 +00:00
Dmitriy Novozhilov 32f6b71525 [FE] Add ability to configure PublicDeclaration type approximation configuration 
This configuration allows to choose what to do with local and anonymous types
 2022-11-22 15:46:18 +00:00
Dmitriy Novozhilov 82c39187f6 [FIR] Refactor: rename function 2022-11-22 15:46:18 +00:00
Ilya Kirillov b6481ed891 [FIR] do not use FirValueParameter for function type parameter 
As it is a different abstraction, introduced FirFunctionTypeParameter instead

Also, fix syntax checkers for function type parameter

^KT-55035 fixed
 2022-11-21 16:17:51 +00:00
Dmitrii Gridin 86422d0944 [FIR] FirReceiverParameter: rename type to typeRef 
^KT-54417
 2022-11-17 09:50:17 +00:00
Dmitrii Gridin be7d282974 [FIR] introduce FirReceiverParameter 
^KT-54417
 2022-11-17 09:50:09 +00:00
Ilya Chernikov dfa1e8d03d FIR: fix findClassRepresentation for dynamic type 
related to KT-53463 and KT-53464
needed e.g. to find proper (fake) override on calls on dynamic receiver
fixes test js/js.translator/testData/box/dynamic/equals.kt
 2022-11-12 16:28:23 +01:00
Mikhail Glukhikh 4dc7b6dddc K2: fix/universalize logic to determine that member is from Java 2022-11-11 13:30:40 +00:00
Mikhail Glukhikh 08d351db57 K2: unify all importing data logic inside FirAbstractImportingScope 2022-11-11 13:30:39 +00:00
Mikhail Glukhikh e46978f7b3 K2: simplify visibility check for static qualifiers 2022-11-11 13:30:38 +00:00
Mikhail Glukhikh 3a81174a4c FIR2IR: support static fake overrides (functions) #KT-53441 Fixed 2022-11-11 13:30:36 +00:00
Mikhail Glukhikh f070401bb5 K2: fix visibility checks for static overrides via imported from static 
#KT-53441 In Progress
 2022-11-11 13:30:35 +00:00
Mikhail Glukhikh cc1a094b6c K2: rename importedFromObject -> importedFromObjectOrStatic 2022-11-11 13:30:34 +00:00
Mikhail Glukhikh 2b2cc07c89 FirObjectImportedCallableScope: fix wrong variable name 2022-11-11 13:30:34 +00:00
Mikhail Glukhikh d16a4ae647 FirClassSubstitutionScope: partial cleanup 2022-11-11 13:30:33 +00:00
Mikhail Glukhikh d4fc2248ff FIR: make class member helper names more consistent 2022-11-11 13:30:32 +00:00
pyos e2a83a0ed0 FIR: unwrap intersection overrides when looking for owner class 
But not substitution overrides! This is important if the method called
is an intersection override where one of the intersected types is a
subtype of a generic type.
 2022-11-11 13:30:32 +00:00
pyos 9f65c6022c Move substitution override unwrapping to FirVisibilityChecker 
This is because it is only needed for the declaration itself, not for
the containing class. Currently there is no difference because
`containingNonLocalClass` will look at the dispatch receiver argument if
one exists anyway, and for substitution/intersection overrides one must
exist.
 2022-11-11 13:30:31 +00:00
Yan Zhulanow 48fbb62658 [FE] Add missing 'originalForSubstitutionOverrideAttr' to parameters 
'originalForSubstitutionOverrideAttr' is supposed to be on all
'SubstitutionOverride' declarations, and certain functionality, such as
'KtFirOverrideInfoProvider#getOriginalOverriddenSymbol()' depends on it.

Absence of the attribute might trigger infinite loop/recursion in
substitution unwrapping.
 2022-11-11 11:28:36 +00:00
Ilya Kirillov 4b7cacd55e [FIR] do not ignore nested type aliases in FirNestedClassifierScope 2022-11-11 12:00:01 +01:00
Ilya Kirillov ed1751bbc6 [fir] move mutable/base collection pair map do StandardClassIds to further reuse it 2022-11-11 11:59:56 +01:00
Dmitriy Novozhilov 7af43176ce [FIR] Add optin on API of updating type of receiver values. KT-54708 2022-11-03 08:30:09 +00:00
Dmitriy Novozhilov 22c21ca4df [FIR] Replace uninferred type variables and stub types during delegate inference 2022-11-03 08:30:07 +00:00
Jinseong Jeon 7f6cad6fb3 FIR: ensure STATUS resolve phase before reading valueClassRepresentation 2022-11-02 18:04:38 +01:00
pyos 7787638737 FIR: fix substitution of anonymous type's supertype again 
^KT-51418 Fixed
 2022-11-01 15:28:41 +00:00
Denis.Zharkov 52eb535a7d FIR: Use platform specific overridability rules for platform members 
^KT-54570 Fixed
 2022-10-31 14:28:55 +00:00
Denis.Zharkov c0e0900344 FIR: Preserve K1 behavior for synthetic properties on raw type 
^KT-54502 Fixed
 2022-10-31 14:28:53 +00:00
Denis.Zharkov 80d7404faf Minor. Reformat TypeUtils.kt 2022-10-31 14:28:51 +00:00
Denis.Zharkov 5cc31114cd FIR: Support special scope for raw types 
^KT-46369 Fixed
^KT-41794 Fixed
^KT-49351 Fixed
 2022-10-31 14:28:50 +00:00
Dmitriy Novozhilov b7da00744b [FIR] Consider overridden getter for setter function for synthetic property 
^KT-54662 Fixed
 2022-10-27 11:08:55 +00:00
Nikolay Lunyak 7e323f8ac6 [FIR] KT-54692: Fix compiler crash on UInt.shl 
Merge-request: KT-MR-7513
Merged-by: Nikolay Lunyak <Nikolay.Lunyak@jetbrains.com>
 2022-10-27 10:40:06 +00:00
Dmitriy Novozhilov 8fbb605034 [FIR] Rename containingClass function to containingClassLookupTag 
Since this function returns lookup tag instead of FirClass or symbol
  the old name may lead to misunderstanding
 2022-10-19 11:09:34 +00:00
Dmitriy Novozhilov be3f8e7eb0 [FIR] Remove redundant opt-ins to ExperimentalStdlibApi in FIR modules 2022-10-19 11:09:33 +00:00
Dmitriy Novozhilov 64e21af03b [FIR] Consider containing class during visibility check of static function call 
^KT-53441
 2022-10-19 11:09:32 +00:00
pyos 8f237a60f7 Minor: make a convoluted condition even more readable 2022-10-14 08:25:28 +00:00
pyos 9a151e1422 Minor: remove unused FirOverrideService methods 2022-10-14 08:25:28 +00:00
pyos 8f19291a35 Minor: clean up FirTypeIntersectionScopeContext a bit more 2022-10-14 08:25:27 +00:00
pyos 1c2e25d727 FIR: move a condition to make it hopefully a bit clearer 
A non-trivial intersection override should be created if:

1. the base methods are from different classes (for proper reporting of
   diagnostics if an override is necessary);
2. OR the return type might need to be intersected (which currently
   happens for non-subtyping scopes if there is no single maximally
   specific declaration)
 2022-10-14 08:25:27 +00:00
pyos ee921412fc FIR: intersect return types of declarations in intersection scopes 
^KT-54378 Fixed
 2022-10-14 08:25:26 +00:00
pyos 2879e7a74c FIR: support > 1 most specific members in type intersection scopes 2022-10-14 08:25:26 +00:00
pyos 35450e6e04 FIR: refactor FirOverrideService to get a list of most specific members 
There may be several if neither of them returns a subtype of the other's
returned type.
 2022-10-14 08:25:25 +00:00
Ivan Kochurkin 69ee40325b [FIR] Fix dependencyProviders generation in FirDependenciesSymbolProviderImpl 
Get rid of unnecessary creating of FirCompositeSymbolProvider
 2022-10-13 18:11:49 +00:00
Ivan Kochurkin 4d89eddbe8 [FIR] Don't create FirDependenciesSymbolProvider without need 2022-10-13 18:11:47 +00:00
Ivan Kochurkin 9c6df5313a [FIR] Fix substitution of anonymous type's supertypes, ^KT-51418 Fixed 2022-10-13 18:11:47 +00:00
Nikolay Lunyak b6f950ed75 [FIR][FE 1.0] KT-47933: Warn about redundant @Repeatable 
Merge-request: KT-MR-7318
Merged-by: Nikolay Lunyak <Nikolay.Lunyak@jetbrains.com>
 2022-10-07 13:33:49 +00:00
Dmitriy Novozhilov 1cd4f3ad2f [FIR] Get rid of all usages of cast in FIR modules 2022-10-06 06:57:06 +00:00