Kotlin 2.0.20-Beta1

Changelog

Analysis. API

New Features

• KT-68143 Analysis API: support KtWhenConditionInRange call resolution

Performance Improvements

• KT-67195 K2: do not call redundant resolve on body resolution phase for classes

Fixes

• KT-66216 K2 IDE. "FirDeclaration was not found for class org.jetbrains.kotlin.psi.KtProperty, fir is null" on incorrect string template
• KT-53669 Analysis API: redesign KtSymbolOrigin to distinguish kotlin/java source/library declarations
• KT-62889 K2 IDE. FP MISSING_DEPENDENCY_CLASS on not available type alias with available underlying type
• KT-62343 Analysis API: fix binary incopatibility problems cause by KtAnalysisSessionProvider.analyze being inline
• KT-68498 To get reference symbol the one should be KtSymbolBasedReference
• KT-68393 Analysis API: Rename KaClassLikeSymbol. classIdIfNonLocal to classId
• KT-62924 Analysis API: rename KtCallableSymbol.callableIdIfNonLocal -> callableId
• KT-66712 K2 IDE. SOE on settings string template for string variable with the same name
• KT-65892 K2: "We should be able to find a symbol" for findNonLocalFunction
• KT-67360 Analysis API: KtDestructuringDeclarationSymbol#entries shouldn't be KtLocalVariableSymbol
• KT-68198 Analysis API: Support application service registration in plugin XMLs
• KT-68273 AA: support KtFirKDocReference#isReferenceToImportAlias
• KT-68272 AA: KtFirReference.isReferenceToImportAlias doesn't work for references on constructor
• KT-67996 Analysis API: rename Kt prefix to Ka
• KT-66996 Analysis API: Expose the abbreviated type of an expanded KtType
• KT-66646 K2: Expected FirResolvedTypeRef with ConeKotlinType but was FirUserTypeRefImpl from FirJsHelpersKt.isExportedObject
• KT-68203 K2: Analysis API: wrong type of receiver value in case of imported object member
• KT-68031 LL resolve crash in case of PCLA inference with local object
• KT-67851 K2: PsiReference#isReferenceTo always returns false for references to Java getters
• KT-68076 AA: use type code fragments for import alias detection
• KT-65915 K2: Analysis API: extract services registration into xml file
• KT-68049 Analysis API: do not expose imported symbols
• KT-68075 K2: Analysis API: Type arguments for delegation constructor to java constructor with type parameters not supported
• KT-65190 AA: reference to the super type is not resolved
• KT-68070 AA: KtExpressionInfoProvider#isUsedAsExpression doesn't work for KtPropertyDelegate
• KT-67748 K2: AllCandidatesResolver modifies the original FirDelegatedConstructorCall
• KT-67743 K2: Stubs & AbbreviatedTypeAttribute
• KT-67706 K2: "KtDotQualifiedExpression is not a subtype of class KtNamedDeclaration" from UnusedChecker
• KT-68021 Analysis API: do not break the diagnostic collection in a case of exception from some collector
• KT-67949 AA: Type arguments of Java methods' calls are not reported as used by KtFirImportOptimizer
• KT-67988 AA: functional type at receiver position should be wrapped in parenthesis
• KT-66536 Analysis API: ContextCollector doesn't provide implicit receivers from FirExpressionResolutionExtension
• KT-67321 AA: Type arguments of Java methods' calls are not resolved
• KT-64158 K2: "KotlinIllegalArgumentExceptionWithAttachments: No fir element was found for KtParameter"
• KT-60344 K2 IDE. "KotlinExceptionWithAttachments: expect createKtCall to succeed for resolvable case with callable symbol" on attempt to assign value to param named getParam
• KT-64599 K2: "expect createKtCall to succeed for resolvable case with callable" for unfinished if statement
• KT-60330 K2 IDE. ".KotlinExceptionWithAttachments: expect createKtCall to succeed for resolvable case with callable symbol" on attempt to assign or compare true with something
• KT-66672 K2 IDE. False positive INVISIBLE_REFERENCE on accessing private subclass as type argument in parent class declaration
• KT-67750 Analysis API: Remove infix modifiers from type equality and subtyping functions
• KT-67655 Analysis API: declare a rule how to deal with parameters in KtLifetimeOwner
• KT-61775 Analysis API: KtKClassAnnotationValue lacks complete type information
• KT-67168 K2: Analysis API: Rendering is broken for JSR-305 enhanced Java types
• KT-66689 Analysis API: KtFirPackageScope shouldn't rely on KotlinDeclarationProvider for binary dependencies in standalone mode
• KT-60483 Analysis API: add isTailrec property to KtFunctionSymbol
• KT-67472 K2: Analysis API FIR: KtFunctionCall misses argument with desugared expressions
• KT-65759 Analysis API: Avoid hard references to LLFirSession in session validity trackers
• KT-60272 K2: Implement active invalidation of KtAnalysisSessions
• KT-66765 K2: Analysis API: support classpath substitution with library dependencies in super type transformer
• KT-67265 K2: status phase should resolve original declarations in the case of classpath subsitution
• KT-67244 K2: StackOverflowError in the case of cyclic type hierarchy and library classpath substitution
• KT-67080 K2: clearer contract for lazyResolveToPhaseWithCallableMembers
• KT-65413 K2 IDE: KTOR unresolved serializer() call for @Serializable class in common code
• KT-66713 K2 FIR: Expose a way to get the module name used for name mangling
• KT-61892 KtType#asPsiType could provide nullability annotations
• KT-66122 Analysis API: Pass KtTestModule instead of TestModule to tests based on AbstractAnalysisApiBasedTest

Analysis. Light Classes

• KT-68275 LC: no arg constructor is not visible in light classes
• KT-66687 Symbol Light Classes: Duplicate field names for classes with companion objects
• KT-66804 Symbol Light Classes: Fields from the parent interface's companion are added to DefaultImpls

Apple Ecosystem

• KT-68257 Xcode incorrectly reuses embedAndSign framework when moving to and from 2.0.0
• KT-65542 Cinterop tasks fails if Xcode 15.3 is used

Backend. Wasm

• KT-65798 K/Wasm: make an error on default export usage
• KT-68453 K/Wasm: "Supported JS engine not detected" in Web Worker
• KT-64565 Kotlin/wasm removeEventListener function did not remove the event listener
• KT-66099 Wasm: local.get of type f64 has to be in the same reference type hierarchy as (ref 686) @+237036

Compiler

New Features

• KT-67611 Implement improved handling of $ in literals
• KT-39868 Allow access to protected consts and fields from a super companion object
• [KT-67787](https://youtrack.je...

Kotlin 2.0.0

Changelog

Analysis. API

New Features

• KT-65327 Support reading klib contents in Analysis API

Performance Improvements

• KT-65560 K2: Anaysis API: ContextCollector triggers redundant resolution in the case of file elements
• KT-64987 Analysis API: 50GB memory allocation on creating empty kotlinx.collections.immutable.persistentMapOf
• KT-61789 K2: optimize getFirForNonKtFileElement for references inside super type reference
• KT-59498 K2: getOnAirGetTowerContextProvider took too much time due to on air resolve
• KT-61728 Analysis API: optimize AllCandidatesResolver.getAllCandidates

Fixes

• KT-65561 Analysis API: dummy.kt is not a physical file
• KT-65616 K2: FirDeclarationStatusImpl cannot be cast to FirResolvedDeclarationStatus from STATUS
• KT-65600 Analysis Api: FirFile for KtCodeFragments are created and not updated on changes
• KT-64919 K2 IDE: Implement KMP support for sealed class inheritors
• KT-64241 K2: Unresolved calls to functions in scripts depending on included projects
• KT-65813 Analysis API Standalone: FirDeclarationForCompiledElementSearcher does not find compiled elements
• KT-66052 AA: render expect/actual modifier
• KT-66795 KtCodeFragment.clone() is broken
• KT-66532 K2 CodeGen AA: missing annotation setup for function in source module but not in a compile target file
• KT-64833 Analysis API: Members implemented by delegation have no overridden symbols
• KT-62405 Analysis API: Symbols SUBSTITUTION_OVERRIDE have no overridden symbols
• KT-66749 K2: "Collection contains no element matching the predicate" on an unresolved call
• KT-62832 K2: ClassCastException: FirDeclarationStatusImpl cannot be cast to FirResolvedDeclarationStatus
• KT-66719 AbstractGetKlibSourceFileNameTest: The dependency to ":native:analysis-api-klib-reader" breaks JPS compilation
• KT-66603 Analysis API: support type annotations in KtPsiTypeProviderMixIn#asPsiType
• KT-64505 Analysis API Standalone: Remove test-specific calculation of sealed class inheritors
• KT-66013 Analysis API Standalone: Sealed inheritors aren't correctly calculated for source classes
• KT-62880 K2 IDE: Unresolved java annotation methods in KDoc
• KT-66530 K2: Analysis API: KtPsiTypeProvider#asKtType crashes on PsiClassType for Java type parameter with wrong use site
• KT-65571 Support VirtualFile inputs to Analysis API modules
• KT-66485 Substituted types are not provided for callable references
• KT-66498 Analysis API: 'KtFe10SymbolDeclarationOverridesProvider' considers a class to be a subclass of itself
• KT-64579 K2 IDE: "Expected FirResolvedArgumentList for FirAnnotationCallImpl of FirValueParameterImpl(Source) but FirArgumentListImpl found"
• KT-65978 Analysis API: Use soft references in FileStructureCache
• KT-64051 K2 IDE: Analysis API: Unresolved links to typealias in KDoc
• KT-66189 K2 / IDE: KtFirExpressionTypeProvider bugs
• KT-61422 K2 IDE: "No array element type for vararg value parameter: org.jetbrains.kotlin.fir.declarations.impl.FirValueParameterImpl"
• KT-66276 K2: Analysis API: TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM false positive for script parameter
• KT-66232 K2: Analysis API: cover ScriptWithCustomDefDiagnosticsTestBaseGenerated by LL FIR tests
• KT-60996 K2: Stub Based Deserializer: Set versionRequirements to enable VERSION_REQUIREMENT_DEPRECATION diagnostics
• KT-66306 K2: Analysis API: drop ability to enable global phase resolve lock
• KT-55750 LL FIR: Implement multi-threaded resolve
• KT-65563 Analysis API: Missing session component FirExpectActualMatchingContextFactory in LLFirLibrarySession
• KT-66173 K2: No 'org.jetbrains.kotlin.fir.scopes.impl.FirDelegatedMembersFilter' in array owner: LLFirLibrarySession
• KT-66238 Gradle kotlin build scripts - a lot of unresolved symbols after latest changes in kotlin master
• KT-65099 K2: Recursive local storage cache check for Fir2IrDeclarationStorage::createAndCacheIrPropertySymbols()
• KT-65265 Analysis API: Add library session invalidation tests
• KT-56288 Analysis API: Add tests for session invalidation on the Analysis API side
• KT-64000 K2: make AnnotationArgumentsStateKeepers more accurate
• KT-63606 K2: Analysis API: rewrite FirLazyAnnotationTransformer to avoid redundant transformations
• KT-65191 KtFirMultiplatformInfoProvider#getExpectForActual doesn't return expect function for slightly broken code
• KT-62136 Analysis API: Add concurrent tests for CleanableSoftValueCache
• KT-61222 K2: Add lifecycle management for KtResolveExtension
• KT-65960 Analysis API: Test infrastructure indexes binary libraries from decompiled files instead of stubs during IDE mode tests
• KT-65240 K2: CodeGen API fails to resolve Annotation parameter type when it runs FIR2IR for a class with a parent class from other module if the parent class has an annotation from another module
• KT-65344 K2: make FirScript statements (declarations) independent
• KT-65930 AA: receiver type for Int?::foo misses nullability
• KT-65914 AA: receiver type for this::foo returns return type of the target callable
• KT-62071 Analysis API: KtFirScopeProvider.getScopeContextForPosition throws exception when ImplicitReceiverValue.implicitScope is null
• KT-65780 K2: polish FileStructure implementation for FirFile
• KT-62840 K2 Script: everything around destructuring declaration on top level of scripts are broken
• KT-64528 K2 IDE: MPP: unregistered component 'org.jetbrains.kotlin.fir.scopes.impl.FirDelegatedMembersFilter'
• KT-64921 K2 IDE: references in platform code resolve to expect classifier instead of actual
• KT-61296 K2: do not resolve the entire file on lazyResolve call if FirFile is passed
• KT-65683 Analysis API: Dangling file session creation causes a computeIfAbsent contract violation
• KT-64884 K2 IDE. FP [NAMED_PARAMETER_NOT_FOUND] for copy method of library data class when class has not parameter-properties
• KT-65763 K2: value parameter from library data class copy have RAW_FIR phase
• KT-65665 Analysis API: support KtDelegatedSuperTypeEntry in KtFirExpressionInfoProvider.isUsedAsExpression
• KT-62899 K2 IDE. IDE ignores @Suppress annotation for errors
• KT-65655 Analysis API: KtCodeCompilationException should not strongly reference FIR sessions
• KT-62302 Support PsiType -> KtType conversion
• KT-64604 K2: IDE K2: "Modules are inconsistent during performance tests"
• KT-65345 K2: unify FirDesignation and ...

Kotlin 2.0.0-RC3

Changelog

Apple Ecosystem

• KT-67892 KotlinNativeLink task instantiates with a fixed list of apiFiles

Compiler

• KT-67993 K2: PCLA Inference throws exception with local objects
• KT-67912 K2: Cannot inference type properly from inline function with Type parameter
• KT-68056 Prohibit referencing java field in case of conflict with property from companion object of the derived class
• KT-67609 K2: False negative INFERRED_TYPE_VARIABLE_INTO_EMPTY_INTERSECTION_ERROR
• KT-67875 K2: Resolution ambiguity between Iterable and varargs
• KT-67699 Not enough information to infer type argument for 'Error' using Arrow's Raise context receiver since Kotlin 2.0.0-Beta3
• KT-59897 K2: Disappeared PACKAGE_OR_CLASSIFIER_REDECLARATION
• KT-50020 K2: False-negative USAGE_IS_NOT_INLINEABLE when lambda in receiver position
• KT-67810 K2: public-API inline function cannot access non-public-API annotation enum

JavaScript

• KT-67978 K2: Declaration of such kind (expect) cannot be exported to JavaScript

Native

• KT-67218 Native: nested classes in kx.serialization ProtoBuf produce empty array for release binary

Tools. Gradle

• KT-67746 Indicate for users they need to apply the new Kotlin Compose Gradle plugin
• KT-67387 Enable intrinsic remember by default in compose compiler gradle plugin
• KT-67762 Rename Kotlin Compose Compiler plugin on Gradle portal
• KT-67778 Clarify documentation for compose metricsDestination property

Tools. Gradle. Multiplatform

• KT-67806 KMP import fails if android target has flavors
• KT-67636 Gradle configuration error when use withJava()
• KT-67042 K2: Unresolved reference 'convertRadiusToSigma'

Tools. Scripts

• KT-67727 Kotlin Scripting with language version 2.0 fails during IR lowering on empty scripts

Tools. Wasm

• KT-67785 Kotlin/Wasm: Node.JS 22 does not need experimental-wasm-gc flag anymore

1.9.24

Changelog

Backend. Wasm

• KT-64890 K/Wasm compiler crash with external class and Kodein

Compiler

• KT-65235 JDK 21 might lead to change in overloads resolution
• KT-66768 K1: False positive UNRESOLVED_REFERENCE in super.getFirst/getLast call

Native

• KT-67218 Native: nested classes in kx.serialization ProtoBuf produce empty array for release binary

Tools. Gradle

• KT-67139 Build reports can be overridden
• KT-67138 Json report is empty for incremental compilation

Tools. Gradle. Multiplatform

• KT-67127 KMP: IDE Dependency Resolver for CInterops reports errors on linux and windows machines
• KT-66514 Don't get output file from Cinterop task for IDE Import if host os doesn't support it

Tools. JPS

• KT-65043 JPS dumb mode should respect maps needed for the compiler

Tools. Wasm

• KT-67785 Kotlin/Wasm: Node.JS 22 does not need experimental-wasm-gc flag anymore
• KT-65864 K/Wasm: update Node.js to 22.x

Kotlin 2.0.0-RC2

Changelog

Backend. Wasm

• KT-66515 Wasm: "call param types must match" during the build
• KT-67435 K/Wasm: import.meta.url transforming into absolute local path in webpack
• KT-66905 K/Wasm: support new version of exception handling proposal

Compiler

New Features

• KT-59688 K2: consider removing smartcasts only from the only visibile property with specific name, not from all of them

Performance Improvements

• KT-67388 FP intellij: performance degradation in build 611
• KT-67507 K2: Slow compilation times when a class has a lot of possibly conflicting declarations

Fixes

• KT-57678 K2: Inconsistency in how K2 analyzes unresolved code for loops and changing closures
• KT-66976 Some value class diagnostics are missed
• KT-54920 K2: when with a single branch stops being exhaustive the second time it's done
• KT-67307 K2: "Cannot find cached type parameter by FIR symbol" in JpaRepository.saveAll
• KT-65771 K2: "IndexOutOfBoundsException: Cannot pop operand off an empty stack" when calling method imported using typealias as callable qualifier
• KT-67502 K2: "property must be initialized or be abstract" with try-finally in secondary constructor
• KT-67456 K2: "property must be initialized or be abstract" depending on constructor declaration order
• KT-67628 K2: "IllegalArgumentException: Expected nullable type" — alias of nullable type analyzed as non-nullable in type parameter
• KT-67625 K2: Array aliases can't be used as vararg values
• KT-67624 K2: False negative "The feature "break continue in inline lambdas" is experimental and should be enabled explicitly" in elvis operator
• KT-60271 K2: origins are not set on compare operators
• KT-44557 Implement main function detection to FIR
• KT-67593 K2: false negative SUPER_CALL_WITH_DEFAULT_PARAMETERS
• KT-67484 K2: FIR2IR generates incorrect access to f/o of lateinit internal var
• KT-67486 K2: Calling method from a Java (implementing a Kotlin class) with named parameters is no longer possible if Java method has different parameter names
• KT-47382 JVM / IR: "AssertionError: Unbound private symbol IrFieldSymbolImpl" caused by string template in constructor and extension property
• KT-67581 K2: Compiler fails on actualizing abstract class with sealed Java class via type alias
• KT-67014 K1/K2 handle when expression as annotation target differently
• KT-67254 K1/K2 both allow annotations on loops, assignments, array sets
• KT-67224 K2/Native: Member overrides different '@Throws' filter from separate module
• KT-66960 K2. KMP. False negative 'when' expression must be exhaustive without sealed class inheritor from common source-set
• KT-63466 @NonNull on a type-variable usage doesn't take precedence over a wildcard type argument
• KT-56134 K2: NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER diagnostic is reported for the wrong symbol
• KT-59872 K2: Disappeared TYPE_MISMATCH
• KT-67192 K2: Disappeared TYPE_MISMATCH [3]
• KT-67191 K2: Disappeared TYPE_MISMATCH [4]
• KT-64860 K2: Consider using different ConstraintPosition when fixing variables for PCLA
• KT-67189 K2: Disappeared TYPE_MISMATCH [5]
• KT-67551 K2: No wrong annotation target error for for statement
• KT-67367 K2: Incorrect resolution to top-level function with less specific signature in presence of SAM constructor on the same tower level
• KT-67374 K2: Object is not smartcasted to type parameter type
• KT-67264 K2: "argument type mismatch" with suspend lambda and java wildcard
• KT-67221 K2: "new inference error [NewConstraintError at Incorporate TypeVariable" for captured type
• KT-67311 K2: "Argument type mismatch" caused by lambda type when using named arguments
• KT-62043 K2: Fix FirCompileKotlinAgainstCustomBinariesTest.testRawTypes
• KT-66743 Lambda receivers and anonymous function parameters of inaccessible types are allowed
• KT-67315 K2: Some default imports are not excluded
• KT-56126 Avoid using descriptors at JvmPlatformAnalyzerServices::computePlatformSpecificDefaultImports
• KT-66513 K2: Suppressing OPT_IN_USAGE_ERROR is now a warning in K2, preventing safe code gen compatible with -Werror
• KT-67314 PCLA works inconsistently with smart-cast related CS forks
• KT-67144 K2: potential NPE when assigning to unstable vars
• KT-66971 K2: missing SMARTCAST_IMPOSSIBLE on open val declared in another module
• KT-66904 K2: possible NPE when reassigning captured variables
• KT-67212 K2: "Failed to find functional supertype for class org.jetbrains.kotlin.fir.types.ConeCapturedType"
• KT-67283 K2: No SAM conversion for fun interface with abstract toString
• KT-66768 K1: False positive UNRESOLVED_REFERENCE in super.getFirst/getLast call
• KT-67318 Compiler fails with OutOfMemoryError on combination of PCLA+smart cast
• KT-65812 K2: "OutOfMemoryError: Java heap space" in kotlin.utils.SmartList.add
• KT-66956 K2: false negative CONST_VAL_WITH_NON_CONST_INITIALIZER for inc/dec operators
• KT-67205 K2: can't deserialize annotation with local class as argument
• KT-65449 K2: build KAPT user project and pass it to CI
• KT-67142 K2: IrFakeOverrideBuilder: AbstractMethodError on raw type argument in a Java superclass
• KT-62570 IncompatibleClassChangeError due to overriding final method
• KT-67190 K2: Disappeared TYPE_MISMATCH [2]
• KT-67188 K2: Disappeared TYPE_MISMATCH [6]
• KT-67187 K2: Disappeared TYPE_MISMATCH [1]
• KT-63381 IrFakeOverrideBuilder: PublishedApi affects overridability of internal members
• KT-59856 K2: Check ConeDiagnostics that are not mapped to KtDiagnostics
• KT-57502 K2: Smart casts should be forbidden if variable that remembers the smart cast is declared by delegation
• KT-63967 K2: Missing getterSignature in metadata for script variables
• KT-59372 K2: Missing SELF_CALL_IN_NESTED_OBJECT_CONSTRUCTOR_ERROR
• KT-60526 K2: Fix the TODO in convertToIr.kt
• KT-67027 K2: Review all use-sites of annotation arguments utilities
• KT-66953 K2: toByte() call on Char leads to ClassCastException for klib backends
• KT-65415 K2: Stdlib K2 build error: IrConstructorSymbolImpl is already bound

IR. Actualizer

• KT-67488 K2: AssertionError No such value argument slot in IrConstructorCallImpl: 0 (total=0

JavaScript

• [KT-66922](https://youtrack.jetbrains.com/is...

Kotlin 2.0.0-RC1

Changelog

Analysis. API

Fixes

• KT-65616 K2: FirDeclarationStatusImpl cannot be cast to FirResolvedDeclarationStatus from STATUS
• KT-64241 K2: Unresolved calls to functions in scripts depending on included projects
• KT-65813 Analysis API Standalone: FirDeclarationForCompiledElementSearcher does not find compiled elements
• KT-66052 AA: render expect/actual modifier
• KT-66795 KtCodeFragment.clone() is broken
• KT-66532 K2 CodeGen AA: missing annotation setup for function in source module but not in a compile target file
• KT-65561 Analysis API: dummy.kt is not a physical file
• KT-64833 Analysis API: Members implemented by delegation have no overridden symbols
• KT-62405 Analysis API: Symbols SUBSTITUTION_OVERRIDE have no overridden symbols
• KT-66749 K2: "Collection contains no element matching the predicate" on an unresolved call
• KT-66719 AbstractGetKlibSourceFileNameTest: The dependency to ":native:analysis-api-klib-reader" breaks JPS compilation
• KT-66603 Analysis API: support type annotations in KtPsiTypeProviderMixIn#asPsiType
• KT-64505 Analysis API Standalone: Remove test-specific calculation of sealed class inheritors
• KT-66013 Analysis API Standalone: Sealed inheritors aren't correctly calculated for source classes
• KT-62880 K2 IDE: Unresolved java annotation methods in KDoc
• KT-66530 K2: Analysis API: KtPsiTypeProvider#asKtType crashes on PsiClassType for Java type parameter with wrong use site
• KT-66485 Substituted types are not provided for callable references
• KT-66498 Analysis API: 'KtFe10SymbolDeclarationOverridesProvider' considers a class to be a subclass of itself
• KT-66189 K2 / IDE: KtFirExpressionTypeProvider bugs
• KT-59732 FirLazyResolveContractViolationException: lazyResolveToPhase(IMPORTS) cannot be called from a transformer with a phase IMPORTS from serialisation plugin

Analysis. Light Classes

• KT-66692 SLC: findAttributeValue for attribute w/ default value in Java returns null

Apple Ecosystem

• KT-66446 Diagnostic never showed, and build fails when CocoaPods dependency is used with embedAndSign task and linking type is dynamic
• KT-66445 Diagnostic never showed when CocoaPods dependency is used with embedAndSign task and linking type is static

Backend. Wasm

• KT-66471 Null method reference with Kotlin/Wasm on 2.0.0-Beta4
• KT-65210 K/Wasm ::class operator produces Number KClass for Short expression
• KT-58088 [PL] Support & enable partial linkage for Wasm
• KT-66104 Wasm: compiler crash: NoSuchElementException: Sequence contains no element matching the predicate
• KT-64449 K2: Implement K1WasmWasiCodegenBoxTestGenerated for K2
• KT-61263 K/Wasm: add a way to turn on k2 in wasm examples using Compose

Compiler

New Features

• KT-32754 Choose existing extensions over additional built-ins members from JDK except overrides
• KT-64350 K2: deprecate using typealias as a callable qualifier in imports
• KT-62547 Introduce a language feature flag for smartcasts based on "memory" variables

Performance Improvements

• KT-65005 K2: Investigate testCommonSuperTypeContravariant performance
• KT-65579 K2: performance regression in FP Space
• KT-61121 [K/N] Kotlin Native compiler performance is slow when generating large frameworks

Fixes

• KT-67185 K2: Incorrect coercion-to-Unit leading to CCE at runtime
• KT-63836 K2: No deprecation error message in common metadata compilation
• KT-57618 K2: complex deprecation messages are not printed in the error
• KT-61787 K2 doesn't report warnings for some Gradle tasks
• KT-62063 K2: drop pre-release flag in 2.0-RC
• KT-65578 K2: implement a deprecation warning for KT-57014 (wrong nullability returned from JDK SAM constructor lambda)
• KT-65120 K2 Consider turn into platform checkers ones which checks for objC
• KT-67090 K2: Exception from metadata compilation when compiling class with annotations from dependencies
• KT-59479 K2: build KorGE
• KT-62560 K2: KAPT4: annotation @ReplaceWith is missing a default value for the element 'imports'
• KT-67027 K2: Review all use-sites of annotation arguments utilities
• KT-60096 K2: Introduced API_NOT_AVAILABLE
• KT-64151 K2: consider implementing FIR-level constant evaluation
• KT-65195 K2: Unexpected exception when executing dynamic array element inc/dec
• KT-63416 K2 / Contracts: False positive "Leaked in-place lambda" warning caused by suspend lambda with callsInPlace contract
• KT-57812 K2: support serialization of type annotation's arguments
• KT-66717 Incorrect diagnostics around intersection property overrides
• KT-65603 K2: No approximation is done on public, but effectively private property
• KT-59932 K2: Disappeared AMBIGUOUS_ANONYMOUS_TYPE_INFERRED
• KT-66527 K2: type mismatch on override for type
• KT-59400 K2: Missing CANNOT_INFER_VISIBILITY
• KT-64534 K2: org.jetbrains.kotlin.util.FileAnalysisException: Somewhere in file
• KT-65649 K2: IR has incorrect origins for some inplace updating operators
• KT-66748 K2: False-positive AMBIGUOUS_SUPER in toString
• KT-67013 K2: ClassCastException: class FirConstructorSymbol cannot be cast to class FirNamedFunctionSymbol
• KT-52175 K2: WRONG_ANNOTATION_TARGET for annotation that used inside if
• KT-66902 K2: "Named arguments are prohibited for non-Kotlin functions" with Java interop
• KT-66793 K2: "assigning single elements to varargs in named form is prohibited." caused by varargs supplied from java with elvis operator
• KT-65235 JDK 21 might lead to change in overloads resolution
• KT-66350 K2: "IllegalStateException: Unsupported compile-time value STRING_CONCATENATION" when evaluating an annotation argument string
• KT-65035 IrFakeOverrideBuilder: AbstractMethodError on inheritance from Java subclass of CharSequence with inherited implementations
• KT-66447 Implement KT-59138 under a language feature
• KT-66701 K2: Java interface method override via Kotlin class rejected
• KT-66730 K2: False positive RETURN_TYPE_MISMATCH in return statement in SAM constructor
• KT-66909 K2: Implement a diagnostic for returning null from a lambda with expected return type Unit!
• KT-66570 Generic wildcard upper bound inference error
• KT-65272 K2: invoke operator applies "restricted suspen...

Kotlin 2.0.0-Beta5

Changelog

Analysis. API

New Features

• KT-65327 Support reading klib contents in Analysis API

Performance Improvements

• KT-65560 K2: Anaysis API: ContextCollector triggers redundant resolution in the case of file elements

Fixes

• KT-65571 Support VirtualFile inputs to Analysis API modules
• KT-65600 Analysis Api: FirFile for KtCodeFragments are created and not updated on changes
• KT-64579 K2 IDE: "Expected FirResolvedArgumentList for FirAnnotationCallImpl of FirValueParameterImpl(Source) but FirArgumentListImpl found"
• KT-65978 Analysis API: Use soft references in FileStructureCache
• KT-64051 K2 IDE: Analysis API: Unresolved links to typealias in KDoc
• KT-66276 K2: Analysis API: TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM false positive for script parameter
• KT-66232 K2: Analysis API: cover ScriptWithCustomDefDiagnosticsTestBaseGenerated by LL FIR tests
• KT-60996 K2: Stub Based Deserializer: Set versionRequirements to enable VERSION_REQUIREMENT_DEPRECATION diagnostics
• KT-66306 K2: Analysis API: drop ability to enable global phase resolve lock
• KT-64919 K2 IDE: Implement KMP support for sealed class inheritors
• KT-65563 Analysis API: Missing session component FirExpectActualMatchingContextFactory in LLFirLibrarySession
• KT-66173 K2: No 'org.jetbrains.kotlin.fir.scopes.impl.FirDelegatedMembersFilter' in array owner: LLFirLibrarySession
• KT-66238 Gradle kotlin build scripts - a lot of unresolved symbols after latest changes in kotlin master
• KT-65099 K2: Recursive local storage cache check for Fir2IrDeclarationStorage::createAndCacheIrPropertySymbols()
• KT-65265 Analysis API: Add library session invalidation tests
• KT-56288 Analysis API: Add tests for session invalidation on the Analysis API side
• KT-64000 K2: make AnnotationArgumentsStateKeepers more accurate
• KT-63606 K2: Analysis API: rewrite FirLazyAnnotationTransformer to avoid redundant transformations
• KT-65191 KtFirMultiplatformInfoProvider#getExpectForActual doesn't return expect function for slightly broken code
• KT-62136 Analysis API: Add concurrent tests for CleanableSoftValueCache
• KT-61222 K2: Add lifecycle management for KtResolveExtension
• KT-65960 Analysis API: Test infrastructure indexes binary libraries from decompiled files instead of stubs during IDE mode tests
• KT-65240 K2: CodeGen API fails to resolve Annotation parameter type when it runs FIR2IR for a class with a parent class from other module if the parent class has an annotation from another module
• KT-65344 K2: make FirScript statements (declarations) independent
• KT-65930 AA: receiver type for Int?::foo misses nullability
• KT-65914 AA: receiver type for this::foo returns return type of the target callable
• KT-65780 K2: polish FileStructure implementation for FirFile
• KT-62840 K2 Script: everything around destructuring declaration on top level of scripts are broken
• KT-65683 Analysis API: Dangling file session creation causes a computeIfAbsent contract violation
• KT-64884 K2 IDE. FP [NAMED_PARAMETER_NOT_FOUND] for copy method of library data class when class has not parameter-properties
• KT-65763 K2: value parameter from library data class copy have RAW_FIR phase
• KT-65665 Analysis API: support KtDelegatedSuperTypeEntry in KtFirExpressionInfoProvider.isUsedAsExpression
• KT-65655 Analysis API: KtCodeCompilationException should not strongly reference FIR sessions
• KT-65345 K2: unify FirDesignation and LLFirResolveTarget

Analysis. Light Classes

• KT-61734 SLC: wildcard suppression not honored
• KT-65112 Symbol Light Classes don't support annotations on type parameters
• KT-65843 K2: Light method returns kotlin.Unit type for TestResult return type
• KT-65653 SLC: wrong binary resolution to function with value class
• KT-65393 SLC: missing deprecated-hidden property
• KT-64772 SLC: presence of source PSI for compiler-generated declaration

Apple Ecosystem

• KT-62373 "Xcode higher than tested" diagnostic
• KT-64096 Diagnostic when embedAndSign used for framework with cocoapods-dependencies

Backend. Native. Debug

• KT-65553 K2: Native: kt42208WithPassingLambdaToAnotherFunction test fails with K2

Backend. Wasm

New Features

• KT-58088 [PL] Support & enable partial linkage for Wasm
• KT-66327 Include information about particular Wasm target into KLib manifest
• KT-65009 Generate TypeScript definitions for the @JsExport declarations in K/Wasm

Fixes

• KT-65660 [WasmJs] Support catching JS exceptions
• KT-64890 K/Wasm compiler crash with external class and Kodein
• KT-66104 Wasm: compiler crash: NoSuchElementException: Sequence contains no element matching the predicate
• KT-66065 [Wasm] Make specialisations for closured primitive values
• KT-65778 Create the same TypeScript tests infrastructure for Kotlin/Wasm that we have now for Kotlin/JS
• KT-65411 Kotlin/Wasm: Boolean boxed instances are not the same
• KT-65713 Kotlin/Wasm generates a wrapper that cannot run in Deno
• KT-65777 Implement named export for Kotlin/Wasm
• KT-65824 Wasm: Allow unsigned primitives to be used inside functions annotated with @JsExport
• KT-63939 Kotlin/Wasm Support lazy associated object initialisation
• KT-61888 [Kotlin/wasm] in kotlin.test support for @AfterTest for async tests

Compiler

New Features

• KT-64350 K2: deprecate using typealias as a callable qualifier in imports
• KT-65478 JVM: Change inlined variable naming format
• KT-26565 Choose existing extensions over additional built-ins members from JDK
• KT-65859 Calls refinement extension point
• KT-45375 Generate all Kotlin lambdas via invokedynamic + LambdaMetafactory by default
• KT-65681 K2: Improve error message of UPPER_BOUND_VIOLATED when upper bound is a captured type or other non-denotable type
• KT-65153 K/N: extract liveness analysis to a separate phase
• KT-59098 Support -Xjdk-release=1.6/1.7 with -jvm-target 1.8
• KT-63670 Implement platform specific declaration clash diagnostics across all backends

Performance Improvements

• KT-66341 K2: Don't build IdSignatures in FIR2IR with IR f/o builder
• KT-66172 K2: Improve memory consumption of KtPsiSourceElement
• KT-62798 'in' range checks are not intrinsified in kotlin-stdlib
• [KT-65579](htt...

Kotlin 1.9.23

1.9.23

Apple Ecosystem

• KT-65542 Cinterop tasks fails if Xcode 15.3 is used

Backend. Wasm

• KT-64486 Kotlin/Wasm/WASI exported function callback for coroutines support

Compiler

• KT-53478 Could not load module
• KT-66044 JDK's new API is used over Kotlin's SDK functions
• KT-64640 Prevent mutating SequenceCollection methods from JDK 21 be available on read-only collections
• KT-65441 K1: Remove JDK 21 getFirst()/getLast() in (Mutable)List interfaces
• KT-65634 K/N: data race during monolithic cache creation
• KT-53109 CompilationErrorException generateUnboundSymbolsAsDependencies with builder inference and lambdas
• KT-52757 Type inference for builders fails if inferred from a function

Tools. Gradle

• KT-65792 Add JSON build report
• KT-65091 Update compiler metrics in build reports
• KT-62490 KGP dropping resource directories

Tools. Gradle. JS

• KT-64119 K/JS: Migrate package manager from Yarn onto NPM
• KT-64561 K/JS tests are not executed after upgrade to 1.9.22

Tools. Gradle. Multiplatform

• KT-65954 commonTest dependencies affect commoMainMetadata compilation

Tools. Gradle. Native

• KT-64573 Default value for produceUnpackedKlib was not provided

Kotlin 2.0.0-Beta4

Changelog

Analysis. API

Performance Improvements

• KT-64987 Analysis API: 50GB memory allocation on creating empty kotlinx.collections.immutable.persistentMapOf

Fixes

• KT-65268 K2: Checking the presence of the delegated constructor call forces AST loading
• KT-63330 Analysis API: Stub-based deserialized symbol providers provide unresolved enum entry annotation arguments
• KT-65418 Analysis API: LLFirAbstractSessionFactory loads anchor module sessions eagerly
• KT-64718 Analysis API: do not expose SealedClassInheritorsProvider and FirRegularClass to IDE Plugin
• KT-65075 K2: getContainingDeclaration() is broken for declarations inside code fragments
• KT-61332 Support KtTypeCodeFragment in PsiRawFirBuilder
• KT-65150 AA: incorrect result from KtTypeProvider#getReceiverTypeForDoubleColonExpression for Java static method
• KT-55750 LL FIR: Implement multi-threaded resolve
• KT-56551 LL FIR: implement parallel resolve for jumping phases
• KT-65223 Psi: avoid KtFile usages
• KT-65307 Analysis API FE10: support KtFe10AnalysisSessionProvider.getAnalysisSessionByUseSiteKtModule
• KT-62695 K2 IDE: Unresolved extension functions in KDoc
• KT-65152 Analysis API: KDoc references to packages are not fully resolved
• KT-64988 K2 IDE: Navigation from the named argument in safe call does not work
• KT-64074 K2: Investigate LL divergence for Script.testTopLevelPropertyInitialization
• KT-64921 K2 IDE: references in platform code resolve to expect classifier instead of actual
• KT-62441 K2: IDE K2: "No dangling modifier found"
• KT-64528 K2 IDE: MPP: unregistered component 'org.jetbrains.kotlin.fir.scopes.impl.FirDelegatedMembersFilter'
• KT-64993 Analysis API: KtExpressionTypeProvider.getExpectedType works incorrectly for arguments of safe calls
• KT-64883 Allow direct creation of KtCommonFile
• KT-64646 K2: properly forbid ast loading during raw fir phase in tests
• KT-64862 Psi: missed parenthesis in type reference presentation
• KT-62893 K2 IDE. FP 'when' expression must be exhaustive with Java sealed interface from library
• KT-63795 K2: lazyResolveToPhase(BODY_RESOLVE) cannot be called from a transformer with a phase BODY_RESOLVE from SealedClassInheritorsProviderIdeImpl

Analysis. Light Classes

• KT-65425 K2 IDE: Seeing a reference to the class generated by compiler plugin exposed from Java code caused NPE from light classes
• KT-64937 SLC: internal setters are not mangled

Apple Ecosystem

• KT-63212 podInstall task fails without a proper diagnostic when xcodeproj gem is outdated

Backend. Wasm

• KT-63939 Kotlin/Wasm Support lazy associated object initialisation
• KT-64803 K/Wasm: non-capturing lambdas are not singleton unlike same lambdas in jvm
• KT-64449 K2: Implement K1WasmWasiCodegenBoxTestGenerated for K2
• KT-64829 K/Wasm: division remainder has a wrong sign
• KT-65009 Generate TypeScript definitions for the @JsExport declarations in K/Wasm

Compiler

New Features

• KT-63670 Implement platform specific declaration clash diagnostics across all backends
• KT-62547 Introduce a language feature flag for smartcasts based on "memory" variables

Fixes

• KT-63344 K2: False positive ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED
• KT-58845 K2: SAM checker can run incorrectly in presence of an expect supertype
• KT-61843 K2: Missing TYPE_MISMATCH for nested array literals
• KT-61798 K2 incorrectly calculates modality of property accessors
• KT-65255 K2 / KJS: "IllegalArgumentException: Candidate is not successful, but system has no contradiction"
• KT-65341 K2: "Cannot find cached type parameter by FIR symbol" caused by not-null assertion operator inside string in throw
• KT-49283 Support contribution type info from a nested builder inference call
• KT-64077 K2: Builder inference ignores constraints from nested builder inference
• KT-49160 Couldn't infer a type argument through several builder inference calls broken by a local class
• KT-61310 K2: "Not enough information to infer type variable R" for transformLatest
• KT-63733 Builder-style type inference can't resolve to extension overloads when they're more applicable than member ones
• KT-57707 K1: inconsistent TYPE_MISMATCH in builder inference
• KT-55057 Builder inference changes behaviour sporadically based on BI annotation on unrelated call
• KT-60663 Builder inference does not work inside a nested unrelated builder inference lambda
• KT-53639 TYPE_MISMATCH: compiler can't infer the list's type when using buildList {} builder or Collection#isNotEmpty
• KT-60291 K2: "IllegalStateException: Cannot serialize error type: ERROR CLASS: Cannot infer argument for type parameter T" during FIR serialization
• KT-65033 K2: Fir2LazyIr: Lazy type aliases not supported
• KT-57709 Inconsistent extension function call resolution in builder inference
• KT-53740 Builder inference with multiple lambdas leads to unsound type
• KT-60877 Builder inference from the null literal results in Nothing instead of Nothing? for producing positions of the postponed type variable
• KT-53553 Builder inference: inconsistent types in different lambda scopes
• KT-54400 K2: builder inference does not work with assignments of literals to member properties
• KT-53109 CompilationErrorException generateUnboundSymbolsAsDependencies with builder inference and lambdas
• KT-52757 Type inference for builders fails if inferred from a function
• KT-63840 Builder inference fails on calls to identity-shaped functions with postponed type variables inside select-constructions
• KT-64276 [K/N][K2] K2 behaviorial difference with inconsistent inheritance of ObjCName
• KT-59782 K2: Forbid local delegated properties with private accessors in public inline functions
• KT-65482 K2: NoSuchFieldError due to using unboxed type
• KT-63208 K2: Implement deprecation cycle and fix missing errors for error-level nullable arguments of warning-level Java types
• KT-64891 K2: consider supporting/forbidding foo.(bar)() syntax
• KT-62134 K2: handle non-simple types during FirStatusResolver.isPrivateToThis check
• KT-65290 K2: No override for FUN DEFAULT_PROPERTY_ACCESSOR
• KT-65111 K2: Java star imports don't work in KJK interdependencies
• KT-59012 K2: Support inferring types based on self upper bounds
• KT-65373 K2: there is a crash in KJK hierarchy with an extension member pro...

Kotlin 2.0.0-Beta3

Changelog

Analysis. API

Fixes

• KT-62895 K2 IDE. FP 'when' expression must be exhaustive with sealed interface from library
• KT-64805 Analysis API: introduce common entry point for multi-file test cases
• KT-64714 K2: Analysis API: CollectionsKt.map doesn't resolves from Java in kotlin repo
• KT-64647 K2: Allow to calculate decompiled inheritors for sealed classes in tests
• KT-64595 AA: stackoverflow while simplifying a type with a recursive type parameter
• KT-64825 Analysis API. Cannot compute containing PSI for unknown source kind 'org.jetbrains.kotlin.KtFakeSourceElementKind$DefaultAccessor' exception on getContainingSymbol call for default setter parameter
• KT-64080 K2: Analysis API: On-air resolve does not trigger resolution of delegated super call arguments
• KT-64243 K2: proper lazy resolution for fake overrides
• KT-62891 K2 IDE. FP [EXPOSED_FUNCTION_RETURN_TYPE] on overriding library method which returns protected type
• KT-61890 Analysis API: Migrate KtFirScopeProvider to ContextCollector instead of onAirResolve
• KT-64197 K2: Code fragments are only supported in JVM
• KT-64604 K2: IDE K2: "Modules are inconsistent during performance tests"
• KT-62357 K2 IDE. False positive on generated component methods and false negative on getter of @JvmRecord classes in Java
• KT-62892 K2 IDE. Java outer class from other module is not resolved when nested class is accessed with fq name in a type position
• KT-62888 K2 IDE. IDE infers reference to KMutableProperty as reference to just KProperty
• KT-64584 K2: StubBasedFirDeserializedSymbolProvider: support deserialization of delegated declarations
• KT-60324 K2 IDE: "NoSuchElementException: List is empty at JavaOverrideChecker#buildErasure"
• KT-62896 K2 IDE. FP ABSTRACT_MEMBER_NOT_IMPLEMENTED on inheriting class from library which implements interface by delegation
• KT-62947 Analysis API: Error while resolving FirPropertyImpl
• KT-64468 Analysis API: Implement mixed multi-module tests which support different kinds of KtModules
• KT-63547 K2 IDE. False Positive AMBIGUOUS_ANNOTATION_ARGUMENT
• KT-62832 K2: ClassCastException: FirDeclarationStatusImpl cannot be cast to FirResolvedDeclarationStatus
• KT-64205 Analysis API: Do not import non-top-level callables by default
• KT-63056 K2: Cannot mutate an immutable ImplicitReceiverValue on FirCodeFragment analysis
• KT-64108 K2: KtFirSymbolDeclarationOverridesProvider shouldn't provide fake overrides
• KT-63752 K2: java.lang.StackOverflowError FirFieldSymbol.getHasInitializer
• KT-63718 Analysis API: Stub-based dependency symbol providers of library source sessions compute the wrong package name sets
• KT-64186 Analysis API: ContextCollector provides incorrect scopes for anonymous objects
• KT-63979 K2 IDE: presentation of types in completion is too verbose
• KT-63681 K2: LL FIR: Improve isResolved check coverage of after lazy resolution

Analysis. Light Classes

• KT-63087 K2 IDE: in .java source reference to JvmName names on unsigned type / value class are unresolved
• KT-64605 K2 IDE: usage of @Repeatable annotation in Java: false positive "Duplicate annotation"
• KT-64795 SLC: distinguish last v.s. non-last vararg value parameter type during binary resolution
• KT-61605 K2 IDE: Light elements do not obey platform contracts
• KT-57536 SLC: no need to populate members with expect modifier
• KT-63949 K2 IDE. Analyze hang on @Autowired constructor analysis
• KT-64320 Decouple kotlin psi from java PSI
• KT-64282 Decouple KotlinIconProviderService from java PSI

Apple Ecosystem

• KT-63821 Copy framework to BUILT_PRODUCTS_DIR in the embedAndSign task

Backend. Wasm

• KT-58852 WASM: two methods with different varargs: Class korlibs.template.dynamic.DynamicShape has 2 methods with the same signature [register(kotlin.Array)

Compiler

New Features

• KT-4113 Smart casts for properties to not-null functional types at invoke calls

Fixes

• KT-64261 K2 / WASM: Extension function with star projection throws "RuntimeError: unreachable"
• KT-64877 K2: PCLA doesn't allow infer types from value parameter having TV type
• KT-63932 K2/Native codegen test failures around builder inference
• KT-64222 K2: "return type is not a subtype of the return type of the overridden member"
• KT-57094 K1: wrong type inferred for an instance of a local class inside a generic property
• KT-62069 K2: ASSIGNMENT_TYPE_MISMATCH is reported in addition to NO_ELSE_IN_WHEN
• KT-62776 FirLazyResolveContractViolationException: "lazyResolveToPhase(STATUS) cannot be called from a transformer with a phase TYPES" on Java annotation usage
• KT-60056 K2: Introduced UNRESOLVED_REFERENCE
• KT-59791 K2: Implement partially constrained lambda analysis
• KT-42020 Psi2ir: IllegalStateException: "IrSimpleFunctionPublicSymbolImpl for public [...] is already bound" on generic function whose substitution leads to IdSignature clash
• KT-64771 Investigate subtle FIR_DUMP difference for reversed order analysis
• KT-62584 K2: different signature in subclass of local class declared in extension value getter
• KT-64615 Inconsistent error messages for platform type nullability assertions
• KT-59938 K2: Disappeared AMBIGUOUS_ACTUALS
• KT-64501 K2: False-positive WRONG_INVOCATION_KIND when using default arguments
• KT-64640 Prevent mutating SequenceCollection methods from JDK 21 be available on read-only collections
• KT-63644 K2: Create special IR symbols for fake-overrides in fir2ir in mode with IR f/o generator
• KT-62476 K2: Enable building fake overrides by ir on non-JVM targets
• KT-63638 K2: Compiler crashes with "Inline class types should have the same representation"
• KT-36220 NI: false positive NON_APPLICABLE_CALL_FOR_BUILDER_INFERENCE if one use cannot resolve
• KT-64121 K2: Actual modifier is missed on override fun toString() fro value class in native
• KT-63703 K2: Eliminate call to Candidate.usesSAM and samResolver.getFunctionTypeForPossibleSamType in AbstractConeCallConflictResolver.toTypeWithConversion
• KT-64435 K2: FIR2IR: Source offsets for data class members are inconsistent with PSI2IR
• KT-64090 K2: false-positive new inference error on invoking from another module a generic function on Java list type with wildcard type argument bounded by raw-typed Java inner class
• KT-64044 K2: Java mapped method should have a source from Java method, not from mapped Kotlin source class
• KT-46674 ClassCastException with smartcast if plus opera...