diff --git a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirScopeProvider.kt b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirScopeProvider.kt index 17a5f4052ea..b679308dfe7 100644 --- a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirScopeProvider.kt +++ b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/components/KtFirScopeProvider.kt @@ -43,8 +43,8 @@ import org.jetbrains.kotlin.fir.scopes.FirContainingNamesAwareScope import org.jetbrains.kotlin.fir.scopes.FirScope import org.jetbrains.kotlin.fir.scopes.impl.* import org.jetbrains.kotlin.fir.scopes.unsubstitutedScope -import org.jetbrains.kotlin.fir.symbols.lazyResolveToPhase import org.jetbrains.kotlin.fir.symbols.impl.* +import org.jetbrains.kotlin.fir.symbols.lazyResolveToPhase import org.jetbrains.kotlin.name.FqName import org.jetbrains.kotlin.name.Name import org.jetbrains.kotlin.psi.KtElement @@ -85,6 +85,7 @@ internal class KtFirScopeProvider( override fun getMemberScope(classSymbol: KtSymbolWithMembers): KtScope { return memberScopeCache.getOrPut(classSymbol) { val firScope = classSymbol.withFirForScope { fir -> + fir.lazyResolveToPhase(FirResolvePhase.STATUS) val firSession = analysisSession.useSiteSession fir.unsubstitutedScope( firSession, @@ -124,6 +125,7 @@ internal class KtFirScopeProvider( ?: return delegatedMemberScopeCache.getOrPut(classSymbol) { getEmptyScope() } return delegatedMemberScopeCache.getOrPut(classSymbol) { val firScope = classSymbol.withFirForScope { fir -> + fir.lazyResolveToPhase(FirResolvePhase.STATUS) val delegateFields = fir.delegateFields if (delegateFields.isNotEmpty()) { val firSession = analysisSession.useSiteSession @@ -170,7 +172,8 @@ internal class KtFirScopeProvider( val firTypeScope = type.coneType.scope( firSession, scopeSession, - FakeOverrideTypeCalculator.Forced + FakeOverrideTypeCalculator.Forced, + requiredPhase = FirResolvePhase.STATUS, ) ?: return null return KtCompositeTypeScope( listOfNotNull( diff --git a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/symbols/KtFirPropertySetterSymbol.kt b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/symbols/KtFirPropertySetterSymbol.kt index dd3e780cf81..65521d4c06b 100644 --- a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/symbols/KtFirPropertySetterSymbol.kt +++ b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/symbols/KtFirPropertySetterSymbol.kt @@ -25,6 +25,7 @@ import org.jetbrains.kotlin.analysis.api.types.KtType import org.jetbrains.kotlin.analysis.low.level.api.fir.api.LLFirResolveSession import org.jetbrains.kotlin.descriptors.Modality import org.jetbrains.kotlin.descriptors.Visibility +import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.declarations.impl.FirDefaultPropertyAccessor import org.jetbrains.kotlin.fir.declarations.synthetic.FirSyntheticPropertyAccessor import org.jetbrains.kotlin.fir.declarations.utils.* @@ -58,7 +59,8 @@ internal class KtFirPropertySetterSymbol( val containingClassScope = firSymbol.dispatchReceiverType?.scope( session, firResolveSession.getScopeSessionFor(session), - FakeOverrideTypeCalculator.DoNothing + FakeOverrideTypeCalculator.DoNothing, + requiredPhase = FirResolvePhase.STATUS, ) ?: return false val overriddenProperties = containingClassScope.getDirectOverriddenProperties(propertySymbol) overriddenProperties.any { it.isVar } diff --git a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/symbols/pointers/KtFirMemberSymbolPointer.kt b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/symbols/pointers/KtFirMemberSymbolPointer.kt index 2ef25d19b8d..48fe4204790 100644 --- a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/symbols/pointers/KtFirMemberSymbolPointer.kt +++ b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/symbols/pointers/KtFirMemberSymbolPointer.kt @@ -14,9 +14,11 @@ import org.jetbrains.kotlin.analysis.api.symbols.pointers.KtSymbolPointer import org.jetbrains.kotlin.analysis.utils.errors.requireIsInstance import org.jetbrains.kotlin.fir.FirSession import org.jetbrains.kotlin.fir.declarations.FirClass +import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.scopes.FirScope import org.jetbrains.kotlin.fir.scopes.unsubstitutedScope import org.jetbrains.kotlin.fir.symbols.impl.FirClassSymbol +import org.jetbrains.kotlin.fir.symbols.lazyResolveToPhase internal abstract class KtFirMemberSymbolPointer( private val ownerPointer: KtSymbolPointer, @@ -28,6 +30,7 @@ internal abstract class KtFirMemberSymbolPointer( val scope = with(analysisSession) { val ownerSymbol = ownerPointer.restoreSymbol() ?: return null val owner = ownerSymbol.firSymbol as? FirClassSymbol ?: return null + owner.lazyResolveToPhase(FirResolvePhase.STATUS) getSearchScope(owner) } ?: return null diff --git a/analysis/low-level-api-fir/testdata/lazyResolve/errors/anonymousObjectInInvalidPosition.txt b/analysis/low-level-api-fir/testdata/lazyResolve/errors/anonymousObjectInInvalidPosition.txt index 068ff95b67f..badccbe6c70 100644 --- a/analysis/low-level-api-fir/testdata/lazyResolve/errors/anonymousObjectInInvalidPosition.txt +++ b/analysis/low-level-api-fir/testdata/lazyResolve/errors/anonymousObjectInInvalidPosition.txt @@ -157,7 +157,7 @@ FILE: anonymousObjectInInvalidPosition.kt private [BODY_RESOLVE] get(): public abstract [TYPES] interface A<[TYPES] T> : R|kotlin/Any| { - public abstract [STATUS] fun x(): R|kotlin/Unit| + public abstract [TYPES] fun x(): R|kotlin/Unit| } diff --git a/compiler/fir/analysis-tests/testData/resolve/bareTypes2.kt b/compiler/fir/analysis-tests/testData/resolve/bareTypes2.kt index 2bd0fc4cc96..4193632c6b6 100644 --- a/compiler/fir/analysis-tests/testData/resolve/bareTypes2.kt +++ b/compiler/fir/analysis-tests/testData/resolve/bareTypes2.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface A> { fun foo(): Any diff --git a/compiler/fir/analysis-tests/testData/resolve/delegatedSuperType.kt b/compiler/fir/analysis-tests/testData/resolve/delegatedSuperType.kt index 1e2b42f02eb..99ab71bd47a 100644 --- a/compiler/fir/analysis-tests/testData/resolve/delegatedSuperType.kt +++ b/compiler/fir/analysis-tests/testData/resolve/delegatedSuperType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface A { fun foo() } diff --git a/compiler/fir/analysis-tests/testData/resolve/diagnostics/delegationInInterface.kt b/compiler/fir/analysis-tests/testData/resolve/diagnostics/delegationInInterface.kt index b1caf67c51a..e334de22256 100644 --- a/compiler/fir/analysis-tests/testData/resolve/diagnostics/delegationInInterface.kt +++ b/compiler/fir/analysis-tests/testData/resolve/diagnostics/delegationInInterface.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS open class A interface B : A by a { diff --git a/compiler/fir/analysis-tests/testData/resolve/diagnostics/propertyTypeMismatchOnOverride.kt b/compiler/fir/analysis-tests/testData/resolve/diagnostics/propertyTypeMismatchOnOverride.kt index 88391e35e88..85502ea44e4 100644 --- a/compiler/fir/analysis-tests/testData/resolve/diagnostics/propertyTypeMismatchOnOverride.kt +++ b/compiler/fir/analysis-tests/testData/resolve/diagnostics/propertyTypeMismatchOnOverride.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS open class A { open var test: Number = 10 } diff --git a/compiler/fir/analysis-tests/testData/resolve/diagnostics/qualifiedSupertypeExtendedByOtherSupertype.kt b/compiler/fir/analysis-tests/testData/resolve/diagnostics/qualifiedSupertypeExtendedByOtherSupertype.kt index d79dd7b3206..9904db411ba 100644 --- a/compiler/fir/analysis-tests/testData/resolve/diagnostics/qualifiedSupertypeExtendedByOtherSupertype.kt +++ b/compiler/fir/analysis-tests/testData/resolve/diagnostics/qualifiedSupertypeExtendedByOtherSupertype.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: -QualifiedSupertypeMayBeExtendedByOtherSupertype interface IBase { fun foo() {} diff --git a/compiler/fir/analysis-tests/testData/resolve/diagnostics/returnTypeMismatchOnOverride.kt b/compiler/fir/analysis-tests/testData/resolve/diagnostics/returnTypeMismatchOnOverride.kt index d318a784949..7958db93c98 100644 --- a/compiler/fir/analysis-tests/testData/resolve/diagnostics/returnTypeMismatchOnOverride.kt +++ b/compiler/fir/analysis-tests/testData/resolve/diagnostics/returnTypeMismatchOnOverride.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS open class A { open fun test(): Number = 10 } diff --git a/compiler/fir/analysis-tests/testData/resolve/diagnostics/someOverridesTest.kt b/compiler/fir/analysis-tests/testData/resolve/diagnostics/someOverridesTest.kt index 8e37f2b158b..8ab1ba0beca 100644 --- a/compiler/fir/analysis-tests/testData/resolve/diagnostics/someOverridesTest.kt +++ b/compiler/fir/analysis-tests/testData/resolve/diagnostics/someOverridesTest.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS open class A open class B : A() diff --git a/compiler/fir/analysis-tests/testData/resolve/diagnostics/superCallWithDelegation.kt b/compiler/fir/analysis-tests/testData/resolve/diagnostics/superCallWithDelegation.kt index e43653568a4..17772e48f74 100644 --- a/compiler/fir/analysis-tests/testData/resolve/diagnostics/superCallWithDelegation.kt +++ b/compiler/fir/analysis-tests/testData/resolve/diagnostics/superCallWithDelegation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface A { fun foo() } diff --git a/compiler/fir/analysis-tests/testData/resolve/expresssions/genericDecorator.kt b/compiler/fir/analysis-tests/testData/resolve/expresssions/genericDecorator.kt index 8e770c852d1..fef9fba118d 100644 --- a/compiler/fir/analysis-tests/testData/resolve/expresssions/genericDecorator.kt +++ b/compiler/fir/analysis-tests/testData/resolve/expresssions/genericDecorator.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: LookupElement.java public abstract class LookupElement { diff --git a/compiler/fir/analysis-tests/testData/resolve/expresssions/genericPropertyAccess.kt b/compiler/fir/analysis-tests/testData/resolve/expresssions/genericPropertyAccess.kt index aa464c2b84d..607833a6d85 100644 --- a/compiler/fir/analysis-tests/testData/resolve/expresssions/genericPropertyAccess.kt +++ b/compiler/fir/analysis-tests/testData/resolve/expresssions/genericPropertyAccess.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS abstract class Base(val x: T) { abstract fun foo(): T } diff --git a/compiler/fir/analysis-tests/testData/resolve/expresssions/protectedVisibility.kt b/compiler/fir/analysis-tests/testData/resolve/expresssions/protectedVisibility.kt index b834e6ab1cf..b848c930480 100644 --- a/compiler/fir/analysis-tests/testData/resolve/expresssions/protectedVisibility.kt +++ b/compiler/fir/analysis-tests/testData/resolve/expresssions/protectedVisibility.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS open class Protected { protected fun bar() {} diff --git a/compiler/fir/analysis-tests/testData/resolve/fromBuilder/typeParameters.kt b/compiler/fir/analysis-tests/testData/resolve/fromBuilder/typeParameters.kt index 9529ccee571..e1b2b3f3043 100644 --- a/compiler/fir/analysis-tests/testData/resolve/fromBuilder/typeParameters.kt +++ b/compiler/fir/analysis-tests/testData/resolve/fromBuilder/typeParameters.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface List { operator fun get(index: Int): T diff --git a/compiler/fir/analysis-tests/testData/resolve/inlineClasses/inlineClassDeclaration.kt b/compiler/fir/analysis-tests/testData/resolve/inlineClasses/inlineClassDeclaration.kt index 7e646a2126e..2eaf0123aa2 100644 --- a/compiler/fir/analysis-tests/testData/resolve/inlineClasses/inlineClassDeclaration.kt +++ b/compiler/fir/analysis-tests/testData/resolve/inlineClasses/inlineClassDeclaration.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_EXTENDED_CHECKERS class A { inline inner class B(val x: Int) diff --git a/compiler/fir/analysis-tests/testData/resolve/kt41984.kt b/compiler/fir/analysis-tests/testData/resolve/kt41984.kt index fc1233fc68e..0f5e9a66823 100644 --- a/compiler/fir/analysis-tests/testData/resolve/kt41984.kt +++ b/compiler/fir/analysis-tests/testData/resolve/kt41984.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // ISSUE: KT-41984 // FILE: A.java diff --git a/compiler/fir/analysis-tests/testData/resolve/lambdaArgInScopeFunction.kt b/compiler/fir/analysis-tests/testData/resolve/lambdaArgInScopeFunction.kt index e396b7738dd..2e207ca3838 100644 --- a/compiler/fir/analysis-tests/testData/resolve/lambdaArgInScopeFunction.kt +++ b/compiler/fir/analysis-tests/testData/resolve/lambdaArgInScopeFunction.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !CHECK_TYPE // ISSUE: KT-37070 diff --git a/compiler/fir/analysis-tests/testData/resolve/lambdaPropertyTypeInference.kt b/compiler/fir/analysis-tests/testData/resolve/lambdaPropertyTypeInference.kt index bbbf9c8df8a..f69c1b469b6 100644 --- a/compiler/fir/analysis-tests/testData/resolve/lambdaPropertyTypeInference.kt +++ b/compiler/fir/analysis-tests/testData/resolve/lambdaPropertyTypeInference.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !CHECK_TYPE // UNEXPECTED BEHAVIOUR // ISSUES: KT-37066 diff --git a/compiler/fir/analysis-tests/testData/resolve/problems/compilerPhase.kt b/compiler/fir/analysis-tests/testData/resolve/problems/compilerPhase.kt index 4a7efc73e88..51d7d2de5be 100644 --- a/compiler/fir/analysis-tests/testData/resolve/problems/compilerPhase.kt +++ b/compiler/fir/analysis-tests/testData/resolve/problems/compilerPhase.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface CommonBackendContext interface PhaserState { diff --git a/compiler/fir/analysis-tests/testData/resolve/problems/doubleGenericDiamond.kt b/compiler/fir/analysis-tests/testData/resolve/problems/doubleGenericDiamond.kt index fecfb4c098b..4aa96e91fb7 100644 --- a/compiler/fir/analysis-tests/testData/resolve/problems/doubleGenericDiamond.kt +++ b/compiler/fir/analysis-tests/testData/resolve/problems/doubleGenericDiamond.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface Left interface Right class Bottom : Left, Right diff --git a/compiler/fir/analysis-tests/testData/resolve/problems/transform.kt b/compiler/fir/analysis-tests/testData/resolve/problems/transform.kt index b12317be858..a87acd4fd3e 100644 --- a/compiler/fir/analysis-tests/testData/resolve/problems/transform.kt +++ b/compiler/fir/analysis-tests/testData/resolve/problems/transform.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface FirElement { fun accept(visitor: FirVisitor, data: D): R diff --git a/compiler/fir/analysis-tests/testData/resolve/properties/javaAccessorsComplex.kt b/compiler/fir/analysis-tests/testData/resolve/properties/javaAccessorsComplex.kt index 3e7eaf4feb5..deabe8d254f 100644 --- a/compiler/fir/analysis-tests/testData/resolve/properties/javaAccessorsComplex.kt +++ b/compiler/fir/analysis-tests/testData/resolve/properties/javaAccessorsComplex.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: JA.java public interface JA { public E getFoo(); diff --git a/compiler/fir/analysis-tests/testData/resolve/scopes/publicJavaAndPrivateKotlinVar.kt b/compiler/fir/analysis-tests/testData/resolve/scopes/publicJavaAndPrivateKotlinVar.kt index 2c90cca5791..7d1ae513d17 100644 --- a/compiler/fir/analysis-tests/testData/resolve/scopes/publicJavaAndPrivateKotlinVar.kt +++ b/compiler/fir/analysis-tests/testData/resolve/scopes/publicJavaAndPrivateKotlinVar.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // SCOPE_DUMP: C:getName;setName;name, D:getName;setName;name // FILE: A.java public interface A { diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/functionX.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/functionX.kt index 67e7eab6796..b31c74a9183 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/functionX.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/functionX.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_EXTENDED_CHECKERS import kotlin.jvm.functions.Function0 diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/hashTableWithForEach.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/hashTableWithForEach.kt index d50c3e2afdd..8b4584fb4e7 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/hashTableWithForEach.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/hashTableWithForEach.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FULL_JDK import java.util.* import java.util.function.BiConsumer diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/EnumWithToString.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/EnumWithToString.kt index eb96428cb9e..e8a09b34c7b 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/EnumWithToString.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/EnumWithToString.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS enum class Some { ENTRY { override fun toString(): String = "Entry" diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/baseIntrospector.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/baseIntrospector.kt index 9739dacb343..ef9358549c6 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/baseIntrospector.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/intellij/baseIntrospector.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // MODULE: m1 // FILE: m1.kt diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/j+k/smartSet.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/j+k/smartSet.kt index 27c3246041f..fa730ad2897 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/j+k/smartSet.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/j+k/smartSet.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS import java.util.AbstractSet class SmartSet : AbstractSet() { diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/multiModule/FakeOverrides.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/multiModule/FakeOverrides.kt index e4117cf2421..21388fc95bc 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/multiModule/FakeOverrides.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/multiModule/FakeOverrides.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +MultiPlatformProjects // MODULE: m1-common // FILE: common.kt diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/AbstractToolConfig.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/AbstractToolConfig.kt index cc4c1d6086f..5df2feb67fb 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/AbstractToolConfig.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/AbstractToolConfig.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: AbstractToolConfig.kt abstract class AbstractToolConfig { diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/WithValidityAssertion.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/WithValidityAssertion.kt index 9edc939d9e0..5db0f6ebbb2 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/WithValidityAssertion.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/WithValidityAssertion.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS import kotlin.reflect.KProperty import kotlin.properties.ReadOnlyProperty diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/lightMember.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/lightMember.kt index ed108f6b9a6..17c055fd5c6 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/lightMember.kt +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/lightMember.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface PsiMember interface PsiField : PsiMember diff --git a/compiler/fir/checkers/checkers.jvm/src/org/jetbrains/kotlin/fir/analysis/jvm/checkers/expression/FirJavaShadowedFieldReferenceChecker.kt b/compiler/fir/checkers/checkers.jvm/src/org/jetbrains/kotlin/fir/analysis/jvm/checkers/expression/FirJavaShadowedFieldReferenceChecker.kt index 1eea03a0b0a..bdc7f30151e 100644 --- a/compiler/fir/checkers/checkers.jvm/src/org/jetbrains/kotlin/fir/analysis/jvm/checkers/expression/FirJavaShadowedFieldReferenceChecker.kt +++ b/compiler/fir/checkers/checkers.jvm/src/org/jetbrains/kotlin/fir/analysis/jvm/checkers/expression/FirJavaShadowedFieldReferenceChecker.kt @@ -12,13 +12,16 @@ import org.jetbrains.kotlin.fir.analysis.checkers.context.CheckerContext import org.jetbrains.kotlin.fir.analysis.checkers.expression.FirCallableReferenceAccessChecker import org.jetbrains.kotlin.fir.analysis.diagnostics.jvm.FirJvmErrors import org.jetbrains.kotlin.fir.containingClassLookupTag +import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.declarations.utils.hasBackingField import org.jetbrains.kotlin.fir.declarations.utils.visibility import org.jetbrains.kotlin.fir.expressions.FirCallableReferenceAccess import org.jetbrains.kotlin.fir.expressions.impl.FirNoReceiverExpression import org.jetbrains.kotlin.fir.packageFqName import org.jetbrains.kotlin.fir.references.FirResolvedNamedReference -import org.jetbrains.kotlin.fir.resolve.* +import org.jetbrains.kotlin.fir.resolve.isSubclassOf +import org.jetbrains.kotlin.fir.resolve.scope +import org.jetbrains.kotlin.fir.resolve.toFirRegularClassSymbol import org.jetbrains.kotlin.fir.scopes.FakeOverrideTypeCalculator import org.jetbrains.kotlin.fir.symbols.impl.FirFieldSymbol import org.jetbrains.kotlin.fir.symbols.impl.FirPropertySymbol @@ -39,7 +42,7 @@ object FirJavaShadowedFieldReferenceChecker : FirCallableReferenceAccessChecker( val dispatchReceiver = expression.dispatchReceiver.takeIf { it !is FirNoReceiverExpression } ?: return val scope = dispatchReceiver.typeRef.coneType.scope( - session, context.sessionHolder.scopeSession, FakeOverrideTypeCalculator.DoNothing + session, context.sessionHolder.scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.TYPES ) ?: return var shadowingPropertyClassId: ClassId? = null diff --git a/compiler/fir/fir-deserialization/src/org/jetbrains/kotlin/fir/deserialization/AbstractAnnotationDeserializer.kt b/compiler/fir/fir-deserialization/src/org/jetbrains/kotlin/fir/deserialization/AbstractAnnotationDeserializer.kt index c1894340ecf..df8db132cdb 100644 --- a/compiler/fir/fir-deserialization/src/org/jetbrains/kotlin/fir/deserialization/AbstractAnnotationDeserializer.kt +++ b/compiler/fir/fir-deserialization/src/org/jetbrains/kotlin/fir/deserialization/AbstractAnnotationDeserializer.kt @@ -207,7 +207,8 @@ abstract class AbstractAnnotationDeserializer( val firAnnotationClass = (symbol as? FirRegularClassSymbol)?.fir ?: return@lazy null val classScope = - firAnnotationClass.defaultType().scope(session, ScopeSession(), FakeOverrideTypeCalculator.DoNothing) + firAnnotationClass.defaultType() + .scope(session, ScopeSession(), FakeOverrideTypeCalculator.DoNothing, requiredPhase = null) ?: error("Null scope for $classId") val constructor = diff --git a/compiler/fir/fir-serialization/src/org/jetbrains/kotlin/fir/serialization/FirElementSerializer.kt b/compiler/fir/fir-serialization/src/org/jetbrains/kotlin/fir/serialization/FirElementSerializer.kt index 1a8b04b6075..f7c962477ad 100644 --- a/compiler/fir/fir-serialization/src/org/jetbrains/kotlin/fir/serialization/FirElementSerializer.kt +++ b/compiler/fir/fir-serialization/src/org/jetbrains/kotlin/fir/serialization/FirElementSerializer.kt @@ -151,7 +151,7 @@ class FirElementSerializer private constructor( } fun FirClass.nestedClassifiers(): List> { - val scope = defaultType().scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing) ?: return emptyList() + val scope = defaultType().scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = null) ?: return emptyList() return buildList { scope.getClassifierNames().mapNotNullTo(this) { scope.getSingleClassifier(it) } } @@ -226,7 +226,7 @@ class FirElementSerializer private constructor( private fun FirClass.declarations(): List = buildList { val memberScope = - defaultType().scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing) + defaultType().scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = null) ?: error("Null scope for $this") fun addDeclarationIfNeeded(symbol: FirCallableSymbol<*>) { diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/resolve/ScopeUtils.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/resolve/ScopeUtils.kt index 8138508298a..107302a7baf 100644 --- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/resolve/ScopeUtils.kt +++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/resolve/ScopeUtils.kt @@ -28,14 +28,21 @@ import org.jetbrains.kotlin.name.ClassId fun FirSmartCastExpression.smartcastScope( useSiteSession: FirSession, - scopeSession: ScopeSession + scopeSession: ScopeSession, + requiredPhase: FirResolvePhase? = null, ): FirTypeScope? { val smartcastType = smartcastTypeWithoutNullableNothing?.coneType ?: smartcastType.coneType - val smartcastScope = smartcastType.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing) + val smartcastScope = smartcastType.scope( + useSiteSession, + scopeSession, + FakeOverrideTypeCalculator.DoNothing, + requiredPhase = FirResolvePhase.STATUS + ) if (isStable) { return smartcastScope } - val originalScope = originalExpression.typeRef.coneType.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing) + val originalScope = originalExpression.typeRef.coneType + .scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase) ?: return smartcastScope if (smartcastScope == null) { @@ -55,14 +62,15 @@ fun ConeClassLikeType.delegatingConstructorScope( fun ConeKotlinType.scope( useSiteSession: FirSession, scopeSession: ScopeSession, - fakeOverrideTypeCalculator: FakeOverrideTypeCalculator + fakeOverrideTypeCalculator: FakeOverrideTypeCalculator, + requiredPhase: FirResolvePhase?, ): FirTypeScope? { - val scope = scope(useSiteSession, scopeSession, FirResolvePhase.DECLARATIONS) ?: return null + val scope = scope(useSiteSession, scopeSession, requiredPhase) ?: return null if (fakeOverrideTypeCalculator == FakeOverrideTypeCalculator.DoNothing) return scope return FirScopeWithFakeOverrideTypeCalculator(scope, fakeOverrideTypeCalculator) } -private fun ConeKotlinType.scope(useSiteSession: FirSession, scopeSession: ScopeSession, requiredPhase: FirResolvePhase): FirTypeScope? { +private fun ConeKotlinType.scope(useSiteSession: FirSession, scopeSession: ScopeSession, requiredPhase: FirResolvePhase?): FirTypeScope? { return when (this) { is ConeErrorType -> null is ConeClassLikeType -> classScope(useSiteSession, scopeSession, requiredPhase, lookupTag) @@ -99,13 +107,15 @@ private fun ConeKotlinType.scope(useSiteSession: FirSession, scopeSession: Scope private fun ConeClassLikeType.classScope( useSiteSession: FirSession, scopeSession: ScopeSession, - requiredPhase: FirResolvePhase, + requiredPhase: FirResolvePhase?, memberOwnerLookupTag: ConeClassLikeLookupTag ): FirTypeScope? { val fullyExpandedType = fullyExpandedType(useSiteSession) val fir = fullyExpandedType.lookupTag.toSymbol(useSiteSession)?.fir as? FirClass ?: return null - fir.symbol.lazyResolveToPhase(requiredPhase) + if (requiredPhase != null) { + fir.symbol.lazyResolveToPhase(requiredPhase) + } val substitutor = when { attributes.contains(CompilerConeAttributes.RawType) -> ConeRawScopeSubstitutor(useSiteSession) diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/resolve/calls/FirReceivers.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/resolve/calls/FirReceivers.kt index 5bed8ad944f..f50c628b768 100644 --- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/resolve/calls/FirReceivers.kt +++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/resolve/calls/FirReceivers.kt @@ -9,6 +9,7 @@ import org.jetbrains.kotlin.KtFakeSourceElementKind import org.jetbrains.kotlin.fakeElement import org.jetbrains.kotlin.fir.FirSession import org.jetbrains.kotlin.fir.copyWithNewSourceKind +import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.diagnostics.ConeIntermediateDiagnostic import org.jetbrains.kotlin.fir.expressions.* import org.jetbrains.kotlin.fir.expressions.builder.buildSmartCastExpression @@ -41,7 +42,7 @@ interface ReceiverValue : Receiver { val receiverExpression: FirExpression fun scope(useSiteSession: FirSession, scopeSession: ScopeSession): FirTypeScope? = - type.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing) + type.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.STATUS) } // TODO: should inherit just Receiver, not ReceiverValue @@ -70,9 +71,9 @@ open class ExpressionReceiverValue( receiverExpr = receiverExpr.arguments.firstOrNull() } if (receiverExpr is FirSmartCastExpression) { - return receiverExpr.smartcastScope(useSiteSession, scopeSession) + return receiverExpr.smartcastScope(useSiteSession, scopeSession, requiredPhase = FirResolvePhase.STATUS) } - return type.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing) + return type.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.STATUS) } } @@ -91,7 +92,8 @@ sealed class ImplicitReceiverValue>( val originalType: ConeKotlinType = type - var implicitScope: FirTypeScope? = type.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing) + var implicitScope: FirTypeScope? = + type.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.STATUS) private set override fun scope(useSiteSession: FirSession, scopeSession: ScopeSession): FirTypeScope? = implicitScope @@ -132,7 +134,8 @@ sealed class ImplicitReceiverValue>( typeRef = smartcastType.copyWithNewSourceKind(KtFakeSourceElementKind.ImplicitTypeRef) } } - implicitScope = type.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing) + implicitScope = + type.scope(useSiteSession, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.STATUS) } abstract fun createSnapshot(): ImplicitReceiverValue diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/Scopes.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/Scopes.kt index a9e6169e0a5..a11daafb474 100644 --- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/Scopes.kt +++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/Scopes.kt @@ -8,16 +8,14 @@ package org.jetbrains.kotlin.fir.scopes import org.jetbrains.annotations.TestOnly import org.jetbrains.kotlin.fir.FirSession import org.jetbrains.kotlin.fir.declarations.FirRegularClass +import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.resolve.ScopeSession -import org.jetbrains.kotlin.fir.resolve.providers.symbolProvider import org.jetbrains.kotlin.fir.resolve.scope import org.jetbrains.kotlin.fir.resolve.toSymbol import org.jetbrains.kotlin.fir.symbols.ConeClassLikeLookupTag import org.jetbrains.kotlin.fir.symbols.impl.FirCallableSymbol import org.jetbrains.kotlin.fir.symbols.impl.FirNamedFunctionSymbol import org.jetbrains.kotlin.fir.symbols.impl.FirPropertySymbol -import org.jetbrains.kotlin.fir.types.classId -import org.jetbrains.kotlin.name.ClassId fun ConeClassLikeLookupTag.getNestedClassifierScope(session: FirSession, scopeSession: ScopeSession): FirContainingNamesAwareScope? { val klass = toSymbol(session)?.fir as? FirRegularClass ?: return null @@ -29,7 +27,12 @@ fun ConeClassLikeLookupTag.getNestedClassifierScope(session: FirSession, scopeSe */ @TestOnly fun debugCollectOverrides(symbol: FirCallableSymbol<*>, session: FirSession, scopeSession: ScopeSession): Map { - val scope = symbol.dispatchReceiverType?.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing) ?: return emptyMap() + val scope = symbol.dispatchReceiverType?.scope( + session, + scopeSession, + FakeOverrideTypeCalculator.DoNothing, + requiredPhase = FirResolvePhase.STATUS + ) ?: return emptyMap() return debugCollectOverrides(symbol, scope) } diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirClassSubstitutionScope.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirClassSubstitutionScope.kt index f179b1e0adf..2dc5f10a600 100644 --- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirClassSubstitutionScope.kt +++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirClassSubstitutionScope.kt @@ -116,6 +116,7 @@ class FirClassSubstitutionScope( fun createSubstitutionOverrideFunction(original: FirNamedFunctionSymbol): FirNamedFunctionSymbol { if (substitutor == ConeSubstitutor.Empty) return original + original.lazyResolveToPhase(FirResolvePhase.TYPES) val member = original.fir if (skipPrivateMembers && member.visibility == Visibilities.Private) return original @@ -175,6 +176,7 @@ class FirClassSubstitutionScope( fun createSubstitutionOverrideConstructor(original: FirConstructorSymbol): FirConstructorSymbol { if (substitutor == ConeSubstitutor.Empty) return original + original.lazyResolveToPhase(FirResolvePhase.TYPES) val constructor = original.fir val symbolForOverride = FirConstructorSymbol(original.callableId) @@ -221,6 +223,7 @@ class FirClassSubstitutionScope( fun createSubstitutionOverrideProperty(original: FirPropertySymbol): FirPropertySymbol { if (substitutor == ConeSubstitutor.Empty) return original + original.lazyResolveToPhase(FirResolvePhase.TYPES) val member = original.fir if (skipPrivateMembers && member.visibility == Visibilities.Private) return original @@ -279,7 +282,6 @@ class FirClassSubstitutionScope( ) private fun createSubstitutedData(member: FirCallableDeclaration, symbolForOverride: FirBasedSymbol<*>): SubstitutedData { - member.lazyResolveToPhase(FirResolvePhase.TYPES) val (newTypeParameters, substitutor) = FirFakeOverrideGenerator.createNewTypeParametersAndSubstitutor( session, member as FirTypeParameterRefsOwner, @@ -293,7 +295,6 @@ class FirClassSubstitutionScope( val newDispatchReceiverType = dispatchReceiverTypeForSubstitutedMembers.substitute(substitutor) - member.lazyResolveToPhase(FirResolvePhase.STATUS) val returnType = member.returnTypeRef.coneTypeSafe() val fakeOverrideSubstitution = runIf(returnType == null) { FakeOverrideSubstitution(substitutor, member.symbol) } val newReturnType = returnType?.substitute(substitutor) @@ -309,10 +310,10 @@ class FirClassSubstitutionScope( fun createSubstitutionOverrideField(original: FirFieldSymbol): FirFieldSymbol { if (substitutor == ConeSubstitutor.Empty) return original + original.lazyResolveToPhase(FirResolvePhase.TYPES) val member = original.fir if (skipPrivateMembers && member.visibility == Visibilities.Private) return original - member.symbol.lazyResolveToPhase(FirResolvePhase.STATUS) val returnType = member.returnTypeRef.coneTypeSafe() // TODO: do we have fields with implicit type? val newReturnType = returnType?.substitute() ?: return original @@ -322,10 +323,10 @@ class FirClassSubstitutionScope( fun createSubstitutionOverrideSyntheticProperty(original: FirSyntheticPropertySymbol): FirSyntheticPropertySymbol { if (substitutor == ConeSubstitutor.Empty) return original + original.lazyResolveToPhase(FirResolvePhase.TYPES) val member = original.fir as FirSyntheticProperty if (skipPrivateMembers && member.visibility == Visibilities.Private) return original - member.symbol.lazyResolveToPhase(FirResolvePhase.STATUS) val returnType = member.returnTypeRef.coneTypeSafe() val fakeOverrideSubstitution = runIf(returnType == null) { FakeOverrideSubstitution(substitutor, original) } val newReturnType = returnType?.substitute() diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirDelegatedMemberScope.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirDelegatedMemberScope.kt index f3fd8d211ae..f84a8d8a7dc 100644 --- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirDelegatedMemberScope.kt +++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirDelegatedMemberScope.kt @@ -17,7 +17,6 @@ import org.jetbrains.kotlin.fir.resolve.scope import org.jetbrains.kotlin.fir.resolve.substitution.ConeSubstitutor import org.jetbrains.kotlin.fir.scopes.* import org.jetbrains.kotlin.fir.symbols.ConeClassLikeLookupTag -import org.jetbrains.kotlin.fir.symbols.lazyResolveToPhase import org.jetbrains.kotlin.fir.symbols.impl.* import org.jetbrains.kotlin.fir.types.ConeClassLikeType import org.jetbrains.kotlin.fir.types.ConeFlexibleType @@ -49,8 +48,8 @@ class FirDelegatedMemberScope( } private fun buildScope(delegateField: FirField): FirTypeScope? { - delegateField.lazyResolveToPhase(FirResolvePhase.TYPES) - return delegateField.returnTypeRef.coneType.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing) + return delegateField.returnTypeRef.coneType + .scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = null) } private fun collectFunctionsFromSpecificField( diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirDynamicScope.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirDynamicScope.kt index 304a381b254..d6cc17b1608 100644 --- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirDynamicScope.kt +++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirDynamicScope.kt @@ -18,7 +18,9 @@ import org.jetbrains.kotlin.fir.declarations.FirDeclarationOrigin import org.jetbrains.kotlin.fir.declarations.FirProperty import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.declarations.FirSimpleFunction -import org.jetbrains.kotlin.fir.declarations.builder.* +import org.jetbrains.kotlin.fir.declarations.builder.buildProperty +import org.jetbrains.kotlin.fir.declarations.builder.buildSimpleFunction +import org.jetbrains.kotlin.fir.declarations.builder.buildValueParameter import org.jetbrains.kotlin.fir.declarations.impl.FirResolvedDeclarationStatusImpl import org.jetbrains.kotlin.fir.expressions.FirOperationNameConventions import org.jetbrains.kotlin.fir.moduleData @@ -59,7 +61,7 @@ class FirDynamicScope @FirDynamicScopeConstructor constructor( override fun getClassifierNames(): Set = emptySet() private val anyTypeScope by lazy { - session.builtinTypes.anyType.type.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing) + session.builtinTypes.anyType.type.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = null) } override fun processFunctionsByName( diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirIntegerConstantOperatorScope.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirIntegerConstantOperatorScope.kt index d5d19d7c621..77948d1e6a1 100644 --- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirIntegerConstantOperatorScope.kt +++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/scopes/impl/FirIntegerConstantOperatorScope.kt @@ -35,7 +35,8 @@ class FirIntegerConstantOperatorScope( true -> session.builtinTypes.uIntType false -> session.builtinTypes.intType }.type - baseType.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing) ?: error("Scope for $baseType not found") + baseType.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = null) + ?: error("Scope for $baseType not found") } private val mappedFunctions = mutableMapOf() diff --git a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/InferenceUtils.kt b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/InferenceUtils.kt index 850091b6ffb..6fc5286cac1 100644 --- a/compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/InferenceUtils.kt +++ b/compiler/fir/providers/src/org/jetbrains/kotlin/fir/types/InferenceUtils.kt @@ -192,7 +192,7 @@ fun ConeKotlinType.findContributedInvokeSymbol( } else { FakeOverrideTypeCalculator.DoNothing } - val scope = scope(session, scopeSession, fakeOverrideTypeCalculator) ?: return null + val scope = scope(session, scopeSession, fakeOverrideTypeCalculator, requiredPhase = null) ?: return null var declaredInvoke: FirNamedFunctionSymbol? = null scope.processFunctionsByName(OperatorNameConventions.INVOKE) { functionSymbol -> if (functionSymbol.fir.valueParameters.size == baseInvokeSymbol.fir.valueParameters.size) { diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/ConstructorProcessing.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/ConstructorProcessing.kt index 4bc23e7c47c..65ca0756df9 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/ConstructorProcessing.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/ConstructorProcessing.kt @@ -176,7 +176,12 @@ private fun processConstructors( is FirTypeAliasSymbol -> { matchedSymbol.lazyResolveToPhase(FirResolvePhase.TYPES) val type = matchedSymbol.fir.expandedTypeRef.coneTypeUnsafe().fullyExpandedType(session) - val basicScope = type.scope(session, bodyResolveComponents.scopeSession, FakeOverrideTypeCalculator.DoNothing) + val basicScope = type.scope( + session, + bodyResolveComponents.scopeSession, + FakeOverrideTypeCalculator.DoNothing, + requiredPhase = FirResolvePhase.STATUS + ) val outerType = bodyResolveComponents.outerClassManager.outerType(type) diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/SuperCalls.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/SuperCalls.kt index 7aa3c6f37de..e1b76afd1cf 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/SuperCalls.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/SuperCalls.kt @@ -9,6 +9,7 @@ import org.jetbrains.kotlin.descriptors.ClassKind import org.jetbrains.kotlin.descriptors.Modality import org.jetbrains.kotlin.descriptors.isClass import org.jetbrains.kotlin.fir.declarations.FirCallableDeclaration +import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.declarations.FirVariable import org.jetbrains.kotlin.fir.declarations.utils.modality import org.jetbrains.kotlin.fir.dispatchReceiverClassLookupTagOrNull @@ -128,16 +129,14 @@ private inline fun BodyResolveComponents.resolveSupertypesByMembers( private fun BodyResolveComponents.getFunctionMembers(type: ConeKotlinType, name: Name): Collection = buildList { - type.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing)?.processFunctionsByName(name) { - add(it.fir) - } + type.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.STATUS) + ?.processFunctionsByName(name) { add(it.fir) } } private fun BodyResolveComponents.getPropertyMembers(type: ConeKotlinType, name: Name): Collection = buildList { - type.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing)?.processPropertiesByName(name) { - addIfNotNull(it.fir as? FirVariable) - } + type.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.STATUS) + ?.processPropertiesByName(name) { addIfNotNull(it.fir as? FirVariable) } } diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt index 7ef93aa315b..f2cca24e8f7 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/calls/tower/TowerLevels.kt @@ -6,10 +6,7 @@ package org.jetbrains.kotlin.fir.resolve.calls.tower import org.jetbrains.kotlin.fir.* -import org.jetbrains.kotlin.fir.declarations.ContextReceiverGroup -import org.jetbrains.kotlin.fir.declarations.FirCallableDeclaration -import org.jetbrains.kotlin.fir.declarations.FirConstructor -import org.jetbrains.kotlin.fir.declarations.getAnnotationByClassId +import org.jetbrains.kotlin.fir.declarations.* import org.jetbrains.kotlin.fir.declarations.utils.isInner import org.jetbrains.kotlin.fir.declarations.utils.isStatic import org.jetbrains.kotlin.fir.expressions.FirExpression @@ -92,7 +89,12 @@ class MemberScopeTowerLevel( ?.takeIf { it.isStable } ?.originalExpression?.typeRef ?.coneType - ?.scope(session, scopeSession, bodyResolveComponents.returnTypeCalculator.fakeOverrideTypeCalculator) + ?.scope( + session, + scopeSession, + bodyResolveComponents.returnTypeCalculator.fakeOverrideTypeCalculator, + requiredPhase = FirResolvePhase.STATUS + ) if (scopeWithoutSmartcast == null) { consumeCandidates(output, candidates) } else { @@ -123,7 +125,12 @@ class MemberScopeTowerLevel( if (dispatchReceiverType.isRaw()) { typeForSyntheticScope = dispatchReceiverType.convertToNonRawVersion() useSiteForSyntheticScope = - typeForSyntheticScope.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing) + typeForSyntheticScope.scope( + session, + scopeSession, + FakeOverrideTypeCalculator.DoNothing, + requiredPhase = FirResolvePhase.STATUS + ) ?: error("No scope for flexible type scope, while it's not null for $dispatchReceiverType") } else { typeForSyntheticScope = dispatchReceiverType diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/IntegerLiteralAndOperatorApproximationTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/IntegerLiteralAndOperatorApproximationTransformer.kt index 783e9cd8846..28b42554a0e 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/IntegerLiteralAndOperatorApproximationTransformer.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/IntegerLiteralAndOperatorApproximationTransformer.kt @@ -9,6 +9,7 @@ import org.jetbrains.kotlin.KtFakeSourceElementKind import org.jetbrains.kotlin.fakeElement import org.jetbrains.kotlin.fir.FirElement import org.jetbrains.kotlin.fir.FirSession +import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.expressions.FirConstExpression import org.jetbrains.kotlin.fir.expressions.FirExpression import org.jetbrains.kotlin.fir.expressions.FirIntegerLiteralOperatorCall @@ -50,7 +51,8 @@ class IntegerLiteralAndOperatorApproximationTransformer( private val toULongSymbol by lazy { findConversionFunction(session.builtinTypes.uIntType, TO_U_LONG)} private fun findConversionFunction(receiverType: FirImplicitBuiltinTypeRef, name: Name): FirNamedFunctionSymbol { - return receiverType.type.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing)!!.getFunctions(name).single() + return receiverType.type.scope(session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.STATUS)!! + .getFunctions(name).single() } override fun transformElement(element: E, data: ConeKotlinType?): E { diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/mpp/FirExpectActualResolver.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/mpp/FirExpectActualResolver.kt index 807e9be17b9..ef5432b30cb 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/mpp/FirExpectActualResolver.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/mpp/FirExpectActualResolver.kt @@ -633,7 +633,8 @@ object FirExpectActualResolver { scopeSession: ScopeSession, session: FirSession = moduleData.session ): Collection> { - val scope = defaultType().scope(useSiteSession = session, scopeSession, FakeOverrideTypeCalculator.DoNothing) + val scope = defaultType() + .scope(useSiteSession = session, scopeSession, FakeOverrideTypeCalculator.DoNothing, requiredPhase = FirResolvePhase.STATUS) ?: return emptyList() return mutableListOf>().apply { for (name in scope.getCallableNames()) { @@ -660,7 +661,13 @@ object FirExpectActualResolver { } private fun FirClassSymbol<*>.getMembers(name: Name, scopeSession: ScopeSession): Collection> { - val scope = defaultType().scope(useSiteSession = moduleData.session, scopeSession, FakeOverrideTypeCalculator.DoNothing) + val scope = defaultType() + .scope( + useSiteSession = moduleData.session, + scopeSession, + FakeOverrideTypeCalculator.DoNothing, + requiredPhase = FirResolvePhase.STATUS + ) ?: return emptyList() return mutableListOf>().apply { scope.getMembersTo(this, name) diff --git a/compiler/testData/diagnostics/tests/CovariantOverrideType.kt b/compiler/testData/diagnostics/tests/CovariantOverrideType.kt index 44eb336850d..8cc69aadb01 100644 --- a/compiler/testData/diagnostics/tests/CovariantOverrideType.kt +++ b/compiler/testData/diagnostics/tests/CovariantOverrideType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL interface A { fun foo() : Int = 1 diff --git a/compiler/testData/diagnostics/tests/DefaultValueForParameterInFunctionType.kt b/compiler/testData/diagnostics/tests/DefaultValueForParameterInFunctionType.kt index 2c6112adc96..77169ad008c 100644 --- a/compiler/testData/diagnostics/tests/DefaultValueForParameterInFunctionType.kt +++ b/compiler/testData/diagnostics/tests/DefaultValueForParameterInFunctionType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE diff --git a/compiler/testData/diagnostics/tests/NamedFunctionTypeParameterInSupertype.fir.kt b/compiler/testData/diagnostics/tests/NamedFunctionTypeParameterInSupertype.fir.kt index 0fdae77c055..76b787ffc75 100644 --- a/compiler/testData/diagnostics/tests/NamedFunctionTypeParameterInSupertype.fir.kt +++ b/compiler/testData/diagnostics/tests/NamedFunctionTypeParameterInSupertype.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS abstract class A : Function1 abstract class B : (Int)->Unit diff --git a/compiler/testData/diagnostics/tests/NamedFunctionTypeParameterInSupertype.kt b/compiler/testData/diagnostics/tests/NamedFunctionTypeParameterInSupertype.kt index f1340b24fb1..c9567ff0765 100644 --- a/compiler/testData/diagnostics/tests/NamedFunctionTypeParameterInSupertype.kt +++ b/compiler/testData/diagnostics/tests/NamedFunctionTypeParameterInSupertype.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS abstract class A : Function1 abstract class B : (Int)->Unit diff --git a/compiler/testData/diagnostics/tests/OverridenFunctionAndSpecifiedTypeParameter.kt b/compiler/testData/diagnostics/tests/OverridenFunctionAndSpecifiedTypeParameter.kt index 71e0cfae9a5..6ee54b7a688 100644 --- a/compiler/testData/diagnostics/tests/OverridenFunctionAndSpecifiedTypeParameter.kt +++ b/compiler/testData/diagnostics/tests/OverridenFunctionAndSpecifiedTypeParameter.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL interface Aaa { diff --git a/compiler/testData/diagnostics/tests/PackageQualified.fir.kt b/compiler/testData/diagnostics/tests/PackageQualified.fir.kt index 1827d6b763f..07788fdd66b 100644 --- a/compiler/testData/diagnostics/tests/PackageQualified.fir.kt +++ b/compiler/testData/diagnostics/tests/PackageQualified.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_EXTENDED_CHECKERS // FILE: a.kt diff --git a/compiler/testData/diagnostics/tests/PackageQualified.kt b/compiler/testData/diagnostics/tests/PackageQualified.kt index f074003af51..b01ed8e3902 100644 --- a/compiler/testData/diagnostics/tests/PackageQualified.kt +++ b/compiler/testData/diagnostics/tests/PackageQualified.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_EXTENDED_CHECKERS // FILE: a.kt diff --git a/compiler/testData/diagnostics/tests/PrimaryConstructors.kt b/compiler/testData/diagnostics/tests/PrimaryConstructors.kt index c293cc03d59..95ebaec5e71 100644 --- a/compiler/testData/diagnostics/tests/PrimaryConstructors.kt +++ b/compiler/testData/diagnostics/tests/PrimaryConstructors.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL class X { val x : Int diff --git a/compiler/testData/diagnostics/tests/annotations/annotationOnParameterInFunctionType.fir.kt b/compiler/testData/diagnostics/tests/annotations/annotationOnParameterInFunctionType.fir.kt index 87cea384606..d3d97bf937f 100644 --- a/compiler/testData/diagnostics/tests/annotations/annotationOnParameterInFunctionType.fir.kt +++ b/compiler/testData/diagnostics/tests/annotations/annotationOnParameterInFunctionType.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE annotation class Ann diff --git a/compiler/testData/diagnostics/tests/annotations/annotationOnParameterInFunctionType.kt b/compiler/testData/diagnostics/tests/annotations/annotationOnParameterInFunctionType.kt index 56967abfcb0..40b059b4ffe 100644 --- a/compiler/testData/diagnostics/tests/annotations/annotationOnParameterInFunctionType.kt +++ b/compiler/testData/diagnostics/tests/annotations/annotationOnParameterInFunctionType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE annotation class Ann diff --git a/compiler/testData/diagnostics/tests/annotations/rendering/notImplementedMembers.fir.kt b/compiler/testData/diagnostics/tests/annotations/rendering/notImplementedMembers.fir.kt index 49a3652be30..9ac88ba867c 100644 --- a/compiler/testData/diagnostics/tests/annotations/rendering/notImplementedMembers.fir.kt +++ b/compiler/testData/diagnostics/tests/annotations/rendering/notImplementedMembers.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !RENDER_DIAGNOSTICS_MESSAGES @Target(AnnotationTarget.FUNCTION, AnnotationTarget.TYPE, AnnotationTarget.CLASS, AnnotationTarget.VALUE_PARAMETER, AnnotationTarget.PROPERTY) diff --git a/compiler/testData/diagnostics/tests/annotations/rendering/notImplementedMembers.kt b/compiler/testData/diagnostics/tests/annotations/rendering/notImplementedMembers.kt index 426cd155979..16822811ff4 100644 --- a/compiler/testData/diagnostics/tests/annotations/rendering/notImplementedMembers.kt +++ b/compiler/testData/diagnostics/tests/annotations/rendering/notImplementedMembers.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !RENDER_DIAGNOSTICS_MESSAGES @Target(AnnotationTarget.FUNCTION, AnnotationTarget.TYPE, AnnotationTarget.CLASS, AnnotationTarget.VALUE_PARAMETER, AnnotationTarget.PROPERTY) diff --git a/compiler/testData/diagnostics/tests/callableReference/property/propertyFromAbstractSuperClass.kt b/compiler/testData/diagnostics/tests/callableReference/property/propertyFromAbstractSuperClass.kt index 578a5372bf3..a414a73665c 100644 --- a/compiler/testData/diagnostics/tests/callableReference/property/propertyFromAbstractSuperClass.kt +++ b/compiler/testData/diagnostics/tests/callableReference/property/propertyFromAbstractSuperClass.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL import kotlin.reflect.KMutableProperty0 diff --git a/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/simpleClass.fir.kt b/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/simpleClass.fir.kt index 82e6d487e3b..86a5ffa4a4d 100644 --- a/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/simpleClass.fir.kt +++ b/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/simpleClass.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: a.kt package test diff --git a/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/simpleClass.kt b/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/simpleClass.kt index 02f435af854..2781feefe37 100644 --- a/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/simpleClass.kt +++ b/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/simpleClass.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: a.kt package test diff --git a/compiler/testData/diagnostics/tests/controlFlowAnalysis/fieldAsClassDelegate.fir.kt b/compiler/testData/diagnostics/tests/controlFlowAnalysis/fieldAsClassDelegate.fir.kt index 16b33cd7680..2a0bfcee7ae 100644 --- a/compiler/testData/diagnostics/tests/controlFlowAnalysis/fieldAsClassDelegate.fir.kt +++ b/compiler/testData/diagnostics/tests/controlFlowAnalysis/fieldAsClassDelegate.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // See KT-15566 // NI_EXPECTED_FILE diff --git a/compiler/testData/diagnostics/tests/controlFlowAnalysis/fieldAsClassDelegate.kt b/compiler/testData/diagnostics/tests/controlFlowAnalysis/fieldAsClassDelegate.kt index b579b6e4e2f..a2c58cd474c 100644 --- a/compiler/testData/diagnostics/tests/controlFlowAnalysis/fieldAsClassDelegate.kt +++ b/compiler/testData/diagnostics/tests/controlFlowAnalysis/fieldAsClassDelegate.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // See KT-15566 // NI_EXPECTED_FILE diff --git a/compiler/testData/diagnostics/tests/controlStructures/kt30406.fir.kt b/compiler/testData/diagnostics/tests/controlStructures/kt30406.fir.kt index 0c0436e2322..05c1456d1c8 100644 --- a/compiler/testData/diagnostics/tests/controlStructures/kt30406.fir.kt +++ b/compiler/testData/diagnostics/tests/controlStructures/kt30406.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_EXPRESSION // !CHECK_TYPE // Issue: KT-30406 diff --git a/compiler/testData/diagnostics/tests/controlStructures/kt30406.kt b/compiler/testData/diagnostics/tests/controlStructures/kt30406.kt index 52c0e6b17e9..2bbfc21d256 100644 --- a/compiler/testData/diagnostics/tests/controlStructures/kt30406.kt +++ b/compiler/testData/diagnostics/tests/controlStructures/kt30406.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_EXPRESSION // !CHECK_TYPE // Issue: KT-30406 diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypes.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypes.fir.kt index 7556c2f4450..4ba387ac1c8 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypes.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypes.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS, -ABSTRACT_MEMBER_NOT_IMPLEMENTED, -ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypes.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypes.kt index e7c029a7f50..a8e304860bf 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypes.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypes.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS, -ABSTRACT_MEMBER_NOT_IMPLEMENTED, -ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt index aef28c0cc11..1a44e0821b3 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS, -ABSTRACT_MEMBER_NOT_IMPLEMENTED, -ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt index ccfbc33c8d7..699573e7413 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS, -ABSTRACT_MEMBER_NOT_IMPLEMENTED, -ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt index 545a221f1ad..02735fe5e92 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS, -ABSTRACT_MEMBER_NOT_IMPLEMENTED, -ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt index aed443815e0..f780e12b114 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS, -ABSTRACT_MEMBER_NOT_IMPLEMENTED, -ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt index 2f2ea4e29e2..4b04fe2c5d4 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS, -ABSTRACT_MEMBER_NOT_IMPLEMENTED, -ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt index 026f9933bf6..9bd3a1d012d 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS, -ABSTRACT_MEMBER_NOT_IMPLEMENTED, -ABSTRACT_CLASS_MEMBER_NOT_IMPLEMENTED diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/simple.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/simple.kt index f0d0b055118..eaa7bae4095 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/simple.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/kSuspendFunctionN/simple.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypes.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypes.fir.kt index 7c7af180574..2e2ee9204f2 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypes.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypes.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypes.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypes.kt index 78aa580ecf9..19297601685 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypes.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypes.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt index fe17707965b..e15c72476c6 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt index 2b499a50b63..551de20be71 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt index 39d6dbb45e6..56378c72681 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt index b650c944c84..2166de80679 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt index 2866350d1e0..ba3919175ab 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt index 75efee5d602..09f6919ce92 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/simple.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/simple.kt index e67db834c96..fffdf30554f 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/simple.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/simple/simple.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypes.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypes.fir.kt index a5f63bb3a4e..6d87b464d77 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypes.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypes.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypes.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypes.kt index 7840d5ce36b..0feff2d10ff 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypes.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypes.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt index 00bd824515c..a0fd4837d67 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt index 666eb752c59..59556d8ed4c 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperClass.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt index 85dc68b5023..a13f5f0ce62 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt index 4b499010734..8272c7b6961 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperFunInterface.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt index 964f4d9edda..09e83a5b688 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt index bb582ba47cb..5894ad8c6b9 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/mixingSuspendAndNonSuspendSupertypesThruSuperinterface.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT // DIAGNOSTICS: -CONFLICTING_INHERITED_MEMBERS, -CONFLICTING_OVERLOADS diff --git a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/simple.kt b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/simple.kt index e658b47fb69..26961e5a2cd 100644 --- a/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/simple.kt +++ b/compiler/testData/diagnostics/tests/coroutines/suspendFunctionAsSupertype/suspendFunctionN/simple.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +SuspendFunctionAsSupertype // SKIP_TXT diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyNoDefaults.fir.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyNoDefaults.fir.kt index 6b963835d4c..f73857723f6 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyNoDefaults.fir.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyNoDefaults.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ProhibitDataClassesOverridingCopy interface WithCopy { diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyNoDefaults.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyNoDefaults.kt index a5a5729bcfe..79225b459bf 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyNoDefaults.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyNoDefaults.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ProhibitDataClassesOverridingCopy interface WithCopy { diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyWithDefaults.fir.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyWithDefaults.fir.kt index 3ba89221e8a..4e62292ae3a 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyWithDefaults.fir.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyWithDefaults.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ProhibitDataClassesOverridingCopy interface WithCopy { diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyWithDefaults.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyWithDefaults.kt index 7ec7298aa62..1935d97c2bc 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyWithDefaults.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassExplicitlyOverridingCopyWithDefaults.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ProhibitDataClassesOverridingCopy interface WithCopy { diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassNotOverridingCopy.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassNotOverridingCopy.kt index 20e1fe071ce..bbd4612a078 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassNotOverridingCopy.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassNotOverridingCopy.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +ProhibitDataClassesOverridingCopy diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv12.fir.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv12.fir.kt index 341e6f4d571..725649fc673 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv12.fir.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv12.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: -ProhibitDataClassesOverridingCopy interface WithCopy { diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv12.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv12.kt index e7713846579..5fdd26cd936 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv12.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv12.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: -ProhibitDataClassesOverridingCopy interface WithCopy { diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv13.fir.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv13.fir.kt index 5fa21993526..78bbb6acfc6 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv13.fir.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv13.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ProhibitDataClassesOverridingCopy interface WithCopy { diff --git a/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv13.kt b/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv13.kt index ae6c3e2cf63..f36af1d1c0a 100644 --- a/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv13.kt +++ b/compiler/testData/diagnostics/tests/dataClasses/dataClassOverridingCopy_lv13.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ProhibitDataClassesOverridingCopy interface WithCopy { diff --git a/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/kt38714.fir.kt b/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/kt38714.fir.kt index 24d814105da..0725609927f 100644 --- a/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/kt38714.fir.kt +++ b/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/kt38714.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_STDLIB // !DIAGNOSTICS: -UNUSED_PARAMETER diff --git a/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/kt38714.kt b/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/kt38714.kt index 153b85f66ca..771f146ceaf 100644 --- a/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/kt38714.kt +++ b/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/kt38714.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_STDLIB // !DIAGNOSTICS: -UNUSED_PARAMETER diff --git a/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/provideDelegateOnFunctionalTypeWithThis.fir.kt b/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/provideDelegateOnFunctionalTypeWithThis.fir.kt index b2e54cfe3e0..deea7214238 100644 --- a/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/provideDelegateOnFunctionalTypeWithThis.fir.kt +++ b/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/provideDelegateOnFunctionalTypeWithThis.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER // WITH_STDLIB diff --git a/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/provideDelegateOnFunctionalTypeWithThis.kt b/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/provideDelegateOnFunctionalTypeWithThis.kt index c57ae04a4dd..e291a369a4e 100644 --- a/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/provideDelegateOnFunctionalTypeWithThis.kt +++ b/compiler/testData/diagnostics/tests/delegatedProperty/provideDelegate/provideDelegateOnFunctionalTypeWithThis.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER // WITH_STDLIB diff --git a/compiler/testData/diagnostics/tests/delegation/DelegationExpectedType.fir.kt b/compiler/testData/diagnostics/tests/delegation/DelegationExpectedType.fir.kt index cac228b1252..90af868e24d 100644 --- a/compiler/testData/diagnostics/tests/delegation/DelegationExpectedType.fir.kt +++ b/compiler/testData/diagnostics/tests/delegation/DelegationExpectedType.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface A { diff --git a/compiler/testData/diagnostics/tests/delegation/DelegationExpectedType.kt b/compiler/testData/diagnostics/tests/delegation/DelegationExpectedType.kt index 4cb0400c3a3..249b8dac609 100644 --- a/compiler/testData/diagnostics/tests/delegation/DelegationExpectedType.kt +++ b/compiler/testData/diagnostics/tests/delegation/DelegationExpectedType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface A { diff --git a/compiler/testData/diagnostics/tests/delegation/Delegation_ClashingFunctions.fir.kt b/compiler/testData/diagnostics/tests/delegation/Delegation_ClashingFunctions.fir.kt index 0423d20f468..6d3e8e4011f 100644 --- a/compiler/testData/diagnostics/tests/delegation/Delegation_ClashingFunctions.fir.kt +++ b/compiler/testData/diagnostics/tests/delegation/Delegation_ClashingFunctions.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -CONFLICTING_JVM_DECLARATIONS interface One { public fun foo(): Any? diff --git a/compiler/testData/diagnostics/tests/delegation/Delegation_ClashingFunctions.kt b/compiler/testData/diagnostics/tests/delegation/Delegation_ClashingFunctions.kt index 11caef27669..50e1c698178 100644 --- a/compiler/testData/diagnostics/tests/delegation/Delegation_ClashingFunctions.kt +++ b/compiler/testData/diagnostics/tests/delegation/Delegation_ClashingFunctions.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -CONFLICTING_JVM_DECLARATIONS interface One { public fun foo(): Any? diff --git a/compiler/testData/diagnostics/tests/delegation/clashes/finalMemberOverridden.kt b/compiler/testData/diagnostics/tests/delegation/clashes/finalMemberOverridden.kt index 008f79a9d44..36416cea52c 100644 --- a/compiler/testData/diagnostics/tests/delegation/clashes/finalMemberOverridden.kt +++ b/compiler/testData/diagnostics/tests/delegation/clashes/finalMemberOverridden.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL open class Final { fun foo() {} diff --git a/compiler/testData/diagnostics/tests/delegation/clashes/propertyTypeMismatch.fir.kt b/compiler/testData/diagnostics/tests/delegation/clashes/propertyTypeMismatch.fir.kt index 26581553b31..c54e8ff87bb 100644 --- a/compiler/testData/diagnostics/tests/delegation/clashes/propertyTypeMismatch.fir.kt +++ b/compiler/testData/diagnostics/tests/delegation/clashes/propertyTypeMismatch.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface IStr { val foo: String } diff --git a/compiler/testData/diagnostics/tests/delegation/clashes/propertyTypeMismatch.kt b/compiler/testData/diagnostics/tests/delegation/clashes/propertyTypeMismatch.kt index 8f565da3248..8318b2c5a67 100644 --- a/compiler/testData/diagnostics/tests/delegation/clashes/propertyTypeMismatch.kt +++ b/compiler/testData/diagnostics/tests/delegation/clashes/propertyTypeMismatch.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface IStr { val foo: String } diff --git a/compiler/testData/diagnostics/tests/delegation/clashes/returnTypeMismatch.fir.kt b/compiler/testData/diagnostics/tests/delegation/clashes/returnTypeMismatch.fir.kt index 151aef0f561..bc69e355a11 100644 --- a/compiler/testData/diagnostics/tests/delegation/clashes/returnTypeMismatch.fir.kt +++ b/compiler/testData/diagnostics/tests/delegation/clashes/returnTypeMismatch.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface IStr { fun foo(): String } diff --git a/compiler/testData/diagnostics/tests/delegation/clashes/returnTypeMismatch.kt b/compiler/testData/diagnostics/tests/delegation/clashes/returnTypeMismatch.kt index 09599b455c6..61082322924 100644 --- a/compiler/testData/diagnostics/tests/delegation/clashes/returnTypeMismatch.kt +++ b/compiler/testData/diagnostics/tests/delegation/clashes/returnTypeMismatch.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface IStr { fun foo(): String } diff --git a/compiler/testData/diagnostics/tests/delegation/clashes/varOverriddenByVal.kt b/compiler/testData/diagnostics/tests/delegation/clashes/varOverriddenByVal.kt index 99efbc4607d..a868064bb21 100644 --- a/compiler/testData/diagnostics/tests/delegation/clashes/varOverriddenByVal.kt +++ b/compiler/testData/diagnostics/tests/delegation/clashes/varOverriddenByVal.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL interface IVar { var foo: Int diff --git a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/fromClass.kt b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/fromClass.kt index 6e0f6eba58b..0a302ceb0d2 100644 --- a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/fromClass.kt +++ b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/fromClass.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL interface IBase1 { fun foo(): Any diff --git a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/irrelevant.fir.kt b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/irrelevant.fir.kt index 06e9fc64335..981e36d5e2a 100644 --- a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/irrelevant.fir.kt +++ b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/irrelevant.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface IBase1 { fun foo(): Any } diff --git a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/irrelevant.kt b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/irrelevant.kt index ed7957591b9..0c3dc5f7016 100644 --- a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/irrelevant.kt +++ b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/irrelevant.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface IBase1 { fun foo(): Any } diff --git a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/kt13952.kt b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/kt13952.kt index 0df544e5111..46c4446c8af 100644 --- a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/kt13952.kt +++ b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/kt13952.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL interface IA { fun foo(): Number diff --git a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/simple.kt b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/simple.kt index 17e8d118b17..f8754471299 100644 --- a/compiler/testData/diagnostics/tests/delegation/covariantOverrides/simple.kt +++ b/compiler/testData/diagnostics/tests/delegation/covariantOverrides/simple.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL interface IBase1 { fun foo(): Any diff --git a/compiler/testData/diagnostics/tests/delegation/kt40510.fir.kt b/compiler/testData/diagnostics/tests/delegation/kt40510.fir.kt index b3e486edc21..657ddc34f40 100644 --- a/compiler/testData/diagnostics/tests/delegation/kt40510.fir.kt +++ b/compiler/testData/diagnostics/tests/delegation/kt40510.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // ISSUE: KT-40510 // FILE: foo/A.java diff --git a/compiler/testData/diagnostics/tests/delegation/kt40510.kt b/compiler/testData/diagnostics/tests/delegation/kt40510.kt index a4eac73ad61..ca1dcd07848 100644 --- a/compiler/testData/diagnostics/tests/delegation/kt40510.kt +++ b/compiler/testData/diagnostics/tests/delegation/kt40510.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // ISSUE: KT-40510 // FILE: foo/A.java diff --git a/compiler/testData/diagnostics/tests/delegation/kt44843.fir.kt b/compiler/testData/diagnostics/tests/delegation/kt44843.fir.kt index 4f77ad1d8de..153b3c1f2df 100644 --- a/compiler/testData/diagnostics/tests/delegation/kt44843.fir.kt +++ b/compiler/testData/diagnostics/tests/delegation/kt44843.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_STDLIB // FILE: test.kt diff --git a/compiler/testData/diagnostics/tests/delegation/kt44843.kt b/compiler/testData/diagnostics/tests/delegation/kt44843.kt index 600ac9bba88..4a0a90db138 100644 --- a/compiler/testData/diagnostics/tests/delegation/kt44843.kt +++ b/compiler/testData/diagnostics/tests/delegation/kt44843.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_STDLIB // FILE: test.kt diff --git a/compiler/testData/diagnostics/tests/delegation/kt8154.kt b/compiler/testData/diagnostics/tests/delegation/kt8154.kt index 5f161ab9c5a..463c668f1bf 100644 --- a/compiler/testData/diagnostics/tests/delegation/kt8154.kt +++ b/compiler/testData/diagnostics/tests/delegation/kt8154.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL interface A { fun foo() diff --git a/compiler/testData/diagnostics/tests/delegation/memberHidesSupertypeOverride/simple.kt b/compiler/testData/diagnostics/tests/delegation/memberHidesSupertypeOverride/simple.kt index 1e6a7dcdf86..dc6006c8b5a 100644 --- a/compiler/testData/diagnostics/tests/delegation/memberHidesSupertypeOverride/simple.kt +++ b/compiler/testData/diagnostics/tests/delegation/memberHidesSupertypeOverride/simple.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL public interface Base { fun getValue(): String diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/accidentalOverrideFromGrandparent.fir.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/accidentalOverrideFromGrandparent.fir.kt index 144ef4a65ba..6ed1c87836d 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/accidentalOverrideFromGrandparent.fir.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/accidentalOverrideFromGrandparent.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface Foo { fun foo(x: X) diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/accidentalOverrideFromGrandparent.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/accidentalOverrideFromGrandparent.kt index 6e7e4510af0..01aa3594e94 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/accidentalOverrideFromGrandparent.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/accidentalOverrides/accidentalOverrideFromGrandparent.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface Foo { fun foo(x: X) diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/class.fir.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/class.fir.kt index 76d33a7f282..b6a7692433a 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/class.fir.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/class.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER open class B { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/class.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/class.kt index 3ee1b8a16a0..60324a9398b 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/class.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/class.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER open class B { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/fakeOverrideTrait.fir.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/fakeOverrideTrait.fir.kt index 5520a33c054..817b75ed780 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/fakeOverrideTrait.fir.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/fakeOverrideTrait.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface B { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/fakeOverrideTrait.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/fakeOverrideTrait.kt index 41213087359..8dfae66af87 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/fakeOverrideTrait.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/fakeOverrideTrait.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface B { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/trait.fir.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/trait.fir.kt index 4e1d0c0d3de..c931a0413e7 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/trait.fir.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/trait.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface B { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/trait.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/trait.kt index 82912886849..d9f9b35cab0 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/trait.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/bridges/trait.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface B { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationAndOwnMethod.fir.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationAndOwnMethod.fir.kt index 859f834bf6f..febee25b6b3 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationAndOwnMethod.fir.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationAndOwnMethod.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface Foo { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationAndOwnMethod.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationAndOwnMethod.kt index c33aa56a85a..6191d8ff095 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationAndOwnMethod.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationAndOwnMethod.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface Foo { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationToTraitImplAndOwnMethod.fir.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationToTraitImplAndOwnMethod.fir.kt index 5363d7129d9..74fe8e60254 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationToTraitImplAndOwnMethod.fir.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationToTraitImplAndOwnMethod.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface Foo { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationToTraitImplAndOwnMethod.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationToTraitImplAndOwnMethod.kt index cf4d760984f..7e6b4cec1b5 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationToTraitImplAndOwnMethod.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/delegationToTraitImplAndOwnMethod.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface Foo { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/twoTraitsAndOwnFunction.fir.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/twoTraitsAndOwnFunction.fir.kt index 4da54b06cd8..77563b2f25d 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/twoTraitsAndOwnFunction.fir.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/twoTraitsAndOwnFunction.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface Foo { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/twoTraitsAndOwnFunction.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/twoTraitsAndOwnFunction.kt index d3eb4fb42ba..9c29e9fc29a 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/twoTraitsAndOwnFunction.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/erasure/twoTraitsAndOwnFunction.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER interface Foo { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/specialNames/delegationBy.fir.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/specialNames/delegationBy.fir.kt index 056268c1fe3..abfad6e56b3 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/specialNames/delegationBy.fir.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/specialNames/delegationBy.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface Foo class Bar(f: Foo) : Foo by f { diff --git a/compiler/testData/diagnostics/tests/duplicateJvmSignature/specialNames/delegationBy.kt b/compiler/testData/diagnostics/tests/duplicateJvmSignature/specialNames/delegationBy.kt index df83111aaf7..7d2e5082b32 100644 --- a/compiler/testData/diagnostics/tests/duplicateJvmSignature/specialNames/delegationBy.kt +++ b/compiler/testData/diagnostics/tests/duplicateJvmSignature/specialNames/delegationBy.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface Foo class Bar(f: Foo) : Foo by f { diff --git a/compiler/testData/diagnostics/tests/enum/kt8972_cloneNotAllowed.fir.kt b/compiler/testData/diagnostics/tests/enum/kt8972_cloneNotAllowed.fir.kt index 5d2920c0591..483d1c4a69e 100644 --- a/compiler/testData/diagnostics/tests/enum/kt8972_cloneNotAllowed.fir.kt +++ b/compiler/testData/diagnostics/tests/enum/kt8972_cloneNotAllowed.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS enum class E : Cloneable { A; override fun clone(): Any { diff --git a/compiler/testData/diagnostics/tests/enum/kt8972_cloneNotAllowed.kt b/compiler/testData/diagnostics/tests/enum/kt8972_cloneNotAllowed.kt index 6f37400a5b9..1ab97b44123 100644 --- a/compiler/testData/diagnostics/tests/enum/kt8972_cloneNotAllowed.kt +++ b/compiler/testData/diagnostics/tests/enum/kt8972_cloneNotAllowed.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS enum class E : Cloneable { A; override fun clone(): Any { diff --git a/compiler/testData/diagnostics/tests/enum/overrideFinalEnumMethods.kt b/compiler/testData/diagnostics/tests/enum/overrideFinalEnumMethods.kt index 3c82e3ca4f5..a62c19554dd 100644 --- a/compiler/testData/diagnostics/tests/enum/overrideFinalEnumMethods.kt +++ b/compiler/testData/diagnostics/tests/enum/overrideFinalEnumMethods.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL enum class E { ENTRY; diff --git a/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overrides.kt b/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overrides.kt index 0808fae27ef..c958aebdceb 100644 --- a/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overrides.kt +++ b/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overrides.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +DefinitelyNonNullableTypes diff --git a/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overridesJavaAnnotated.fir.kt b/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overridesJavaAnnotated.fir.kt index 120932c967a..1d9271fe438 100644 --- a/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overridesJavaAnnotated.fir.kt +++ b/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overridesJavaAnnotated.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +DefinitelyNonNullableTypes +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overridesJavaAnnotated.kt b/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overridesJavaAnnotated.kt index dd6bf155010..4d0839a47ef 100644 --- a/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overridesJavaAnnotated.kt +++ b/compiler/testData/diagnostics/tests/explicitDefinitelyNotNullableViaIntersection/overridesJavaAnnotated.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +DefinitelyNonNullableTypes +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/extensions/contextReceivers/fromKEEP/monoidSum.kt b/compiler/testData/diagnostics/tests/extensions/contextReceivers/fromKEEP/monoidSum.kt index 1965408f6c3..f4fb3238ff8 100644 --- a/compiler/testData/diagnostics/tests/extensions/contextReceivers/fromKEEP/monoidSum.kt +++ b/compiler/testData/diagnostics/tests/extensions/contextReceivers/fromKEEP/monoidSum.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +ContextReceivers diff --git a/compiler/testData/diagnostics/tests/generics/finalUpperBoundWithOverride.kt b/compiler/testData/diagnostics/tests/generics/finalUpperBoundWithOverride.kt index eccd29d4b5e..ad8472e6f2c 100644 --- a/compiler/testData/diagnostics/tests/generics/finalUpperBoundWithOverride.kt +++ b/compiler/testData/diagnostics/tests/generics/finalUpperBoundWithOverride.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER // SKIP_TXT diff --git a/compiler/testData/diagnostics/tests/generics/innerClasses/iterator.fir.kt b/compiler/testData/diagnostics/tests/generics/innerClasses/iterator.fir.kt index 03788aca7b3..16dbe5da7fb 100644 --- a/compiler/testData/diagnostics/tests/generics/innerClasses/iterator.fir.kt +++ b/compiler/testData/diagnostics/tests/generics/innerClasses/iterator.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !CHECK_TYPE // !DIAGNOSTICS: -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_VARIABLE // JAVAC_EXPECTED_FILE diff --git a/compiler/testData/diagnostics/tests/generics/innerClasses/iterator.kt b/compiler/testData/diagnostics/tests/generics/innerClasses/iterator.kt index 70fb148983a..16c710152ec 100644 --- a/compiler/testData/diagnostics/tests/generics/innerClasses/iterator.kt +++ b/compiler/testData/diagnostics/tests/generics/innerClasses/iterator.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !CHECK_TYPE // !DIAGNOSTICS: -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -UNUSED_PARAMETER -UNUSED_VARIABLE // JAVAC_EXPECTED_FILE diff --git a/compiler/testData/diagnostics/tests/generics/innerClasses/kt3357.kt b/compiler/testData/diagnostics/tests/generics/innerClasses/kt3357.kt index 821f4dd25c8..e7ec070e349 100644 --- a/compiler/testData/diagnostics/tests/generics/innerClasses/kt3357.kt +++ b/compiler/testData/diagnostics/tests/generics/innerClasses/kt3357.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_VARIABLE diff --git a/compiler/testData/diagnostics/tests/generics/kt5508.kt b/compiler/testData/diagnostics/tests/generics/kt5508.kt index 6f10227c19b..01f1b8d13bf 100644 --- a/compiler/testData/diagnostics/tests/generics/kt5508.kt +++ b/compiler/testData/diagnostics/tests/generics/kt5508.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // KT-5508 Stackoverflow in type substitution diff --git a/compiler/testData/diagnostics/tests/imports/kt13112.fir.kt b/compiler/testData/diagnostics/tests/imports/kt13112.fir.kt index 50d63d595cd..c1149a51418 100644 --- a/compiler/testData/diagnostics/tests/imports/kt13112.fir.kt +++ b/compiler/testData/diagnostics/tests/imports/kt13112.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: 1.kt package anotherpackage diff --git a/compiler/testData/diagnostics/tests/imports/kt13112.kt b/compiler/testData/diagnostics/tests/imports/kt13112.kt index f77669f5203..7c5ecdcd33f 100644 --- a/compiler/testData/diagnostics/tests/imports/kt13112.kt +++ b/compiler/testData/diagnostics/tests/imports/kt13112.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: 1.kt package anotherpackage diff --git a/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.fir.kt b/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.fir.kt index 31403d6ef3a..8a84de782e4 100644 --- a/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.fir.kt +++ b/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_STDLIB // SKIP_TXT fun test() { diff --git a/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.kt b/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.kt index 195d280e494..24f6b4e7dcf 100644 --- a/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.kt +++ b/compiler/testData/diagnostics/tests/inference/builderInference/kt53422.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // WITH_STDLIB // SKIP_TXT fun test() { diff --git a/compiler/testData/diagnostics/tests/inference/completion/postponedArgumentsAnalysis/basic.fir.kt b/compiler/testData/diagnostics/tests/inference/completion/postponedArgumentsAnalysis/basic.fir.kt index 78caf68098d..095c5577e58 100644 --- a/compiler/testData/diagnostics/tests/inference/completion/postponedArgumentsAnalysis/basic.fir.kt +++ b/compiler/testData/diagnostics/tests/inference/completion/postponedArgumentsAnalysis/basic.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_EXPRESSION -UNUSED_PARAMETER -UNUSED_ANONYMOUS_PARAMETER -UNCHECKED_CAST import kotlin.reflect.KFunction1 diff --git a/compiler/testData/diagnostics/tests/inference/completion/postponedArgumentsAnalysis/basic.kt b/compiler/testData/diagnostics/tests/inference/completion/postponedArgumentsAnalysis/basic.kt index 0a421f7a132..28752aca64f 100644 --- a/compiler/testData/diagnostics/tests/inference/completion/postponedArgumentsAnalysis/basic.kt +++ b/compiler/testData/diagnostics/tests/inference/completion/postponedArgumentsAnalysis/basic.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_EXPRESSION -UNUSED_PARAMETER -UNUSED_ANONYMOUS_PARAMETER -UNCHECKED_CAST import kotlin.reflect.KFunction1 diff --git a/compiler/testData/diagnostics/tests/inference/knownTypeParameters.kt b/compiler/testData/diagnostics/tests/inference/knownTypeParameters.kt index e46a83e2159..9628276a47c 100644 --- a/compiler/testData/diagnostics/tests/inference/knownTypeParameters.kt +++ b/compiler/testData/diagnostics/tests/inference/knownTypeParameters.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL open class A { diff --git a/compiler/testData/diagnostics/tests/inference/kt619.kt b/compiler/testData/diagnostics/tests/inference/kt619.kt index afbc85b75e3..81f78254947 100644 --- a/compiler/testData/diagnostics/tests/inference/kt619.kt +++ b/compiler/testData/diagnostics/tests/inference/kt619.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL class A(t : Int) : Comparable { var i = t diff --git a/compiler/testData/diagnostics/tests/inference/regressions/compareBy.kt b/compiler/testData/diagnostics/tests/inference/regressions/compareBy.kt index ded64ff081a..cc525b3a59f 100644 --- a/compiler/testData/diagnostics/tests/inference/regressions/compareBy.kt +++ b/compiler/testData/diagnostics/tests/inference/regressions/compareBy.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL class Item(val name: String, val rating: Int): Comparable { public override fun compareTo(other: Item): Int { diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt2754.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt2754.kt index 9d41e39f6f9..2f773dece20 100644 --- a/compiler/testData/diagnostics/tests/inference/regressions/kt2754.kt +++ b/compiler/testData/diagnostics/tests/inference/regressions/kt2754.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !CHECK_TYPE // !DIAGNOSTICS: -UNUSED_PARAMETER diff --git a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCanImplementInterfaceByDelegation.fir.kt b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCanImplementInterfaceByDelegation.fir.kt index 1065d221edb..7d9a7525a89 100644 --- a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCanImplementInterfaceByDelegation.fir.kt +++ b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCanImplementInterfaceByDelegation.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +InlineClasses, -JvmInlineValueClasses, +InlineClassImplementationByDelegation // SKIP_TXT diff --git a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCanImplementInterfaceByDelegation.kt b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCanImplementInterfaceByDelegation.kt index 85d76420bc3..7d38dda75ca 100644 --- a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCanImplementInterfaceByDelegation.kt +++ b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCanImplementInterfaceByDelegation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +InlineClasses, -JvmInlineValueClasses, +InlineClassImplementationByDelegation // SKIP_TXT diff --git a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCannotImplementInterfaceByDelegation.fir.kt b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCannotImplementInterfaceByDelegation.fir.kt index 5b70d36cb38..73911c24351 100644 --- a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCannotImplementInterfaceByDelegation.fir.kt +++ b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCannotImplementInterfaceByDelegation.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +InlineClasses, -JvmInlineValueClasses interface IFoo diff --git a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCannotImplementInterfaceByDelegation.kt b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCannotImplementInterfaceByDelegation.kt index 94dcd1eb330..5fcdc27e416 100644 --- a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCannotImplementInterfaceByDelegation.kt +++ b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassCannotImplementInterfaceByDelegation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +InlineClasses, -JvmInlineValueClasses interface IFoo diff --git a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassImplementsCollection.kt b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassImplementsCollection.kt index 16d20a56f21..f40abbabd50 100644 --- a/compiler/testData/diagnostics/tests/inlineClasses/inlineClassImplementsCollection.kt +++ b/compiler/testData/diagnostics/tests/inlineClasses/inlineClassImplementsCollection.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +InlineClasses, -JvmInlineValueClasses diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.fir.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.fir.kt index 92df6693227..933e72eac6a 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.fir.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE // JAVAC_EXPECTED_FILE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.kt index 194687d3af4..10dca828f47 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE // JAVAC_EXPECTED_FILE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.fir.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.fir.kt index 3caf26aa9c9..62b148dfde6 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.fir.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE // JAVAC_EXPECTED_FILE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.kt index db17df005d7..b983433f2fd 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE // JAVAC_EXPECTED_FILE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.fir.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.fir.kt index c4b36e11dd6..b2c06bdd860 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.fir.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.kt index b5bd0f2e41a..7ed19ccd35c 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE -PARAMETER_NAME_CHANGED_ON_OVERRIDE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.fir.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.fir.kt index f54ca0e1192..055a7d36daf 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.fir.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: Dict.java public abstract class Dict { diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.kt index d271a7da88d..409e6ed8c49 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/irrelevantMapGetAbstract.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: Dict.java public abstract class Dict { diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.fir.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.fir.kt index 17317367c13..a25795d18de 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.fir.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: X.java import org.jetbrains.annotations.NotNull; diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.kt index 275416d9e5e..e1f345eb934 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/overridesBuiltinNoMagic.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: X.java import org.jetbrains.annotations.NotNull; diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAt.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAt.kt index c1d00ea866f..25c02d03d9b 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAt.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAt.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // JAVAC_EXPECTED_FILE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAtInt.kt b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAtInt.kt index 9e0d5238970..581138898ae 100644 --- a/compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAtInt.kt +++ b/compiler/testData/diagnostics/tests/j+k/collectionOverrides/removeAtInt.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // JAVAC_EXPECTED_FILE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/finalCollectionSize.kt b/compiler/testData/diagnostics/tests/j+k/finalCollectionSize.kt index 82e859abfe0..2b918487101 100644 --- a/compiler/testData/diagnostics/tests/j+k/finalCollectionSize.kt +++ b/compiler/testData/diagnostics/tests/j+k/finalCollectionSize.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // JAVAC_EXPECTED_FILE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/j+k/primitiveOverridesWithInlineClass/inlineClassErasedToPrimitiveInt.kt b/compiler/testData/diagnostics/tests/j+k/primitiveOverridesWithInlineClass/inlineClassErasedToPrimitiveInt.kt index 52e62696ddb..deff956d8f8 100644 --- a/compiler/testData/diagnostics/tests/j+k/primitiveOverridesWithInlineClass/inlineClassErasedToPrimitiveInt.kt +++ b/compiler/testData/diagnostics/tests/j+k/primitiveOverridesWithInlineClass/inlineClassErasedToPrimitiveInt.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +InlineClasses, -JvmInlineValueClasses // FILE: kt1.kt diff --git a/compiler/testData/diagnostics/tests/j+k/sam/recursiveSamsAndInvoke.kt b/compiler/testData/diagnostics/tests/j+k/sam/recursiveSamsAndInvoke.kt index bbdfbecd3f6..f4d975f42ef 100644 --- a/compiler/testData/diagnostics/tests/j+k/sam/recursiveSamsAndInvoke.kt +++ b/compiler/testData/diagnostics/tests/j+k/sam/recursiveSamsAndInvoke.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // FILE: MyFuture.java diff --git a/compiler/testData/diagnostics/tests/j+k/specialBuiltIns/hashtableInheritance.kt b/compiler/testData/diagnostics/tests/j+k/specialBuiltIns/hashtableInheritance.kt index 4f03823d395..6e915ccf91e 100644 --- a/compiler/testData/diagnostics/tests/j+k/specialBuiltIns/hashtableInheritance.kt +++ b/compiler/testData/diagnostics/tests/j+k/specialBuiltIns/hashtableInheritance.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // FULL_JDK diff --git a/compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.fir.kt b/compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.fir.kt index 16a127ef44d..53a3cc30755 100644 --- a/compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.fir.kt +++ b/compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !SKIP_JAVAC // SKIP_TXT // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated diff --git a/compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.kt b/compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.kt index 89ba09663ca..4123b04b5d1 100644 --- a/compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.kt +++ b/compiler/testData/diagnostics/tests/j+k/types/noOverrideKeyword.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !SKIP_JAVAC // SKIP_TXT // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated diff --git a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.diag.txt b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.diag.txt index e38feae5667..2c35f13f993 100644 --- a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.diag.txt +++ b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.diag.txt @@ -1,13 +1,13 @@ -/main.kt:24:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon. +/main.kt:23:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon. override fun takeV(x: X) ^ -/main.kt:25:5: warning: type parameter 'E1' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon. +/main.kt:24:5: warning: type parameter 'E1' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon. override fun takeE(e: E1) ^ -/main.kt:27:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon. +/main.kt:26:5: warning: type parameter 'X' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon. override fun takeVList(l: List) ^ -/main.kt:28:5: warning: type parameter 'E2' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon. +/main.kt:27:5: warning: type parameter 'E2' has nullable upper bound, so override has incorrect signature comparing with a base member with NotNull annotation. Please add a non-nullable upper bound (e.g. Any) to the type parameter. See https://kotlinlang.org/docs/generics.html#upper-bounds and https://youtrack.jetbrains.com/issue/KT-36770 for more details. This warning will become an error soon. override fun takeEList(l2: List) ^ diff --git a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.fir.kt b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.fir.kt index c70b14a6c90..0f3e5cbd571 100644 --- a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.fir.kt +++ b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !SKIP_JAVAC // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // !LANGUAGE: +DefinitelyNonNullableTypes diff --git a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.kt b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.kt index 70e595196d9..d7f30f66062 100644 --- a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.kt +++ b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesDefinitelyNonNullable.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !SKIP_JAVAC // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // !LANGUAGE: +DefinitelyNonNullableTypes diff --git a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.fir.kt b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.fir.kt index 1ffad4ba406..e80bcc4f019 100644 --- a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.fir.kt +++ b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !SKIP_JAVAC // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // FILE: SLRUMap.java diff --git a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.kt b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.kt index 1d51fad7eeb..25d8484a3dc 100644 --- a/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.kt +++ b/compiler/testData/diagnostics/tests/j+k/types/notNullTypeParameterWithKotlinOverridesWarning.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !SKIP_JAVAC // !LANGUAGE: -ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // FILE: SLRUMap.java diff --git a/compiler/testData/diagnostics/tests/modifiers/inlineParameters.kt b/compiler/testData/diagnostics/tests/modifiers/inlineParameters.kt index 450917370d3..a783b11d611 100644 --- a/compiler/testData/diagnostics/tests/modifiers/inlineParameters.kt +++ b/compiler/testData/diagnostics/tests/modifiers/inlineParameters.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER diff --git a/compiler/testData/diagnostics/tests/modifiers/modifierOnParameterInFunctionType.kt b/compiler/testData/diagnostics/tests/modifiers/modifierOnParameterInFunctionType.kt index 82790bfa58e..07d8b38dde1 100644 --- a/compiler/testData/diagnostics/tests/modifiers/modifierOnParameterInFunctionType.kt +++ b/compiler/testData/diagnostics/tests/modifiers/modifierOnParameterInFunctionType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateClass/collectionMethodStub.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateClass/collectionMethodStub.kt index b569a4a405e..60c747a0c2d 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateClass/collectionMethodStub.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateClass/collectionMethodStub.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // SKIP_TXT // FILE: f1.kt diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParams.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParams.kt index 6bb01567a8e..cdf6b907694 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParams.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParams.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNNECESSARY_SAFE_CALL -SAFE_CALL_WILL_CHANGE_NULLABILITY diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsBoundMismatch.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsBoundMismatch.kt index fa30f844820..aa7234a85ba 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsBoundMismatch.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsBoundMismatch.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNNECESSARY_SAFE_CALL -SAFE_CALL_WILL_CHANGE_NULLABILITY diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsIndexMismatch.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsIndexMismatch.kt index d487bd66b7f..4c5021cd508 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsIndexMismatch.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsIndexMismatch.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // MODULE: m1 // FILE: a.kt diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsNameMismatch.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsNameMismatch.kt index aae85eac990..0e348cbdd1a 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsNameMismatch.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInParamsNameMismatch.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNNECESSARY_SAFE_CALL -SAFE_CALL_WILL_CHANGE_NULLABILITY diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInReturnType.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInReturnType.kt index dd76db2857e..323be2e32a5 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInReturnType.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classGenericsInReturnType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNNECESSARY_SAFE_CALL -SAFE_CALL_WILL_CHANGE_NULLABILITY diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classVsFunctionGenericsInParamsMismatch.fir.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classVsFunctionGenericsInParamsMismatch.fir.kt index 385208347f6..702ed9cbb7f 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classVsFunctionGenericsInParamsMismatch.fir.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classVsFunctionGenericsInParamsMismatch.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // MODULE: m1 // FILE: a.kt package p diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classVsFunctionGenericsInParamsMismatch.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classVsFunctionGenericsInParamsMismatch.kt index 5d0df0e0bac..14586906ce5 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classVsFunctionGenericsInParamsMismatch.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/classVsFunctionGenericsInParamsMismatch.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // MODULE: m1 // FILE: a.kt package p diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/substitutedGenericInParams.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/substitutedGenericInParams.kt index 767a1c3865c..d022450957c 100644 --- a/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/substitutedGenericInParams.kt +++ b/compiler/testData/diagnostics/tests/multimodule/duplicateMethod/substitutedGenericInParams.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // MODULE: m1 // FILE: a.kt diff --git a/compiler/testData/diagnostics/tests/operatorsOverloading/kt45503_1.kt b/compiler/testData/diagnostics/tests/operatorsOverloading/kt45503_1.kt index a4255960952..32743459411 100644 --- a/compiler/testData/diagnostics/tests/operatorsOverloading/kt45503_1.kt +++ b/compiler/testData/diagnostics/tests/operatorsOverloading/kt45503_1.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER // WITH_STDLIB diff --git a/compiler/testData/diagnostics/tests/overload/kt10939.kt b/compiler/testData/diagnostics/tests/overload/kt10939.kt index 58bf3e28c96..974154bad34 100644 --- a/compiler/testData/diagnostics/tests/overload/kt10939.kt +++ b/compiler/testData/diagnostics/tests/overload/kt10939.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_VARIABLE diff --git a/compiler/testData/diagnostics/tests/override/ComplexValRedeclaration.fir.kt b/compiler/testData/diagnostics/tests/override/ComplexValRedeclaration.fir.kt index d20e5461b20..c9f056a1d6d 100644 --- a/compiler/testData/diagnostics/tests/override/ComplexValRedeclaration.fir.kt +++ b/compiler/testData/diagnostics/tests/override/ComplexValRedeclaration.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -TYPE_PARAMETER_OF_PROPERTY_NOT_USED_IN_RECEIVER package override.generics diff --git a/compiler/testData/diagnostics/tests/override/ComplexValRedeclaration.kt b/compiler/testData/diagnostics/tests/override/ComplexValRedeclaration.kt index a0276ca94e2..b5bd0f1c3cc 100644 --- a/compiler/testData/diagnostics/tests/override/ComplexValRedeclaration.kt +++ b/compiler/testData/diagnostics/tests/override/ComplexValRedeclaration.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -TYPE_PARAMETER_OF_PROPERTY_NOT_USED_IN_RECEIVER package override.generics diff --git a/compiler/testData/diagnostics/tests/override/Delegation.kt b/compiler/testData/diagnostics/tests/override/Delegation.kt index 10407524061..9972e786f97 100644 --- a/compiler/testData/diagnostics/tests/override/Delegation.kt +++ b/compiler/testData/diagnostics/tests/override/Delegation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL package test diff --git a/compiler/testData/diagnostics/tests/override/ExtendFunctionClass.kt b/compiler/testData/diagnostics/tests/override/ExtendFunctionClass.kt index 06335582e10..3a48475ed9d 100644 --- a/compiler/testData/diagnostics/tests/override/ExtendFunctionClass.kt +++ b/compiler/testData/diagnostics/tests/override/ExtendFunctionClass.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL package extendFunctionClass diff --git a/compiler/testData/diagnostics/tests/override/Generics.fir.kt b/compiler/testData/diagnostics/tests/override/Generics.fir.kt index 7aed643272c..8008eaa8b11 100644 --- a/compiler/testData/diagnostics/tests/override/Generics.fir.kt +++ b/compiler/testData/diagnostics/tests/override/Generics.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS package override.generics interface MyTrait { diff --git a/compiler/testData/diagnostics/tests/override/Generics.kt b/compiler/testData/diagnostics/tests/override/Generics.kt index c85fb2b33aa..7275172c0fc 100644 --- a/compiler/testData/diagnostics/tests/override/Generics.kt +++ b/compiler/testData/diagnostics/tests/override/Generics.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS package override.generics interface MyTrait { diff --git a/compiler/testData/diagnostics/tests/override/InternalPotentialOverride.kt b/compiler/testData/diagnostics/tests/override/InternalPotentialOverride.kt index a3c0fba3d87..5c1d8bfc6aa 100644 --- a/compiler/testData/diagnostics/tests/override/InternalPotentialOverride.kt +++ b/compiler/testData/diagnostics/tests/override/InternalPotentialOverride.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // MODULE: m1 // FILE: A.kt diff --git a/compiler/testData/diagnostics/tests/override/parameterNames/invokeInFunctionClass.fir.kt b/compiler/testData/diagnostics/tests/override/parameterNames/invokeInFunctionClass.fir.kt index e6e185a9750..485e3318a45 100644 --- a/compiler/testData/diagnostics/tests/override/parameterNames/invokeInFunctionClass.fir.kt +++ b/compiler/testData/diagnostics/tests/override/parameterNames/invokeInFunctionClass.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS class Function1Impl : (String) -> Unit { override fun invoke(myParamName: String) {} } diff --git a/compiler/testData/diagnostics/tests/override/parameterNames/invokeInFunctionClass.kt b/compiler/testData/diagnostics/tests/override/parameterNames/invokeInFunctionClass.kt index 3b311522669..89977700028 100644 --- a/compiler/testData/diagnostics/tests/override/parameterNames/invokeInFunctionClass.kt +++ b/compiler/testData/diagnostics/tests/override/parameterNames/invokeInFunctionClass.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS class Function1Impl : (String) -> Unit { override fun invoke(myParamName: String) {} } diff --git a/compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt b/compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt index d91bab75975..2451411a4da 100644 --- a/compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt +++ b/compiler/testData/diagnostics/tests/platformTypes/notNullTypeParameter/substitutionInSuperType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/platformTypes/rawTypes/rawSupertypeOverride.kt b/compiler/testData/diagnostics/tests/platformTypes/rawTypes/rawSupertypeOverride.kt index d00253bcace..b78213794c9 100644 --- a/compiler/testData/diagnostics/tests/platformTypes/rawTypes/rawSupertypeOverride.kt +++ b/compiler/testData/diagnostics/tests/platformTypes/rawTypes/rawSupertypeOverride.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_VARIABLE // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/platformTypes/typeEnhancement/saveAnnotationAfterSubstitution.kt b/compiler/testData/diagnostics/tests/platformTypes/typeEnhancement/saveAnnotationAfterSubstitution.kt index fde443480ac..ae1a718bd31 100644 --- a/compiler/testData/diagnostics/tests/platformTypes/typeEnhancement/saveAnnotationAfterSubstitution.kt +++ b/compiler/testData/diagnostics/tests/platformTypes/typeEnhancement/saveAnnotationAfterSubstitution.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // FILE: A.java diff --git a/compiler/testData/diagnostics/tests/protectedWithGenericsInDifferentPackage.fir.kt b/compiler/testData/diagnostics/tests/protectedWithGenericsInDifferentPackage.fir.kt index 184dc822495..f85098d585c 100644 --- a/compiler/testData/diagnostics/tests/protectedWithGenericsInDifferentPackage.fir.kt +++ b/compiler/testData/diagnostics/tests/protectedWithGenericsInDifferentPackage.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: foo/Super.java package foo diff --git a/compiler/testData/diagnostics/tests/protectedWithGenericsInDifferentPackage.kt b/compiler/testData/diagnostics/tests/protectedWithGenericsInDifferentPackage.kt index 6304c375e6b..7e404f7638b 100644 --- a/compiler/testData/diagnostics/tests/protectedWithGenericsInDifferentPackage.kt +++ b/compiler/testData/diagnostics/tests/protectedWithGenericsInDifferentPackage.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FILE: foo/Super.java package foo diff --git a/compiler/testData/diagnostics/tests/regressions/ea53340.kt b/compiler/testData/diagnostics/tests/regressions/ea53340.kt index a6450418087..397315e1d0f 100644 --- a/compiler/testData/diagnostics/tests/regressions/ea53340.kt +++ b/compiler/testData/diagnostics/tests/regressions/ea53340.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL class A : Function0 { override fun invoke(): Int = 1 diff --git a/compiler/testData/diagnostics/tests/regressions/kt11979.kt b/compiler/testData/diagnostics/tests/regressions/kt11979.kt index 041e6d8225d..f95083089a0 100644 --- a/compiler/testData/diagnostics/tests/regressions/kt11979.kt +++ b/compiler/testData/diagnostics/tests/regressions/kt11979.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER diff --git a/compiler/testData/diagnostics/tests/regressions/kt12898.fir.kt b/compiler/testData/diagnostics/tests/regressions/kt12898.fir.kt index 8ae07ecbad2..ee3bc863a92 100644 --- a/compiler/testData/diagnostics/tests/regressions/kt12898.fir.kt +++ b/compiler/testData/diagnostics/tests/regressions/kt12898.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface B { val t: T diff --git a/compiler/testData/diagnostics/tests/regressions/kt12898.kt b/compiler/testData/diagnostics/tests/regressions/kt12898.kt index 10746c5c5ac..d2cfe66d464 100644 --- a/compiler/testData/diagnostics/tests/regressions/kt12898.kt +++ b/compiler/testData/diagnostics/tests/regressions/kt12898.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface B { val t: T diff --git a/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt37692.kt b/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt37692.kt index 1b254c1fa41..c46866b6139 100644 --- a/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt37692.kt +++ b/compiler/testData/diagnostics/tests/resolve/overloadConflicts/kt37692.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER diff --git a/compiler/testData/diagnostics/tests/resolve/smartcastToMoreSpecificProperty.fir.kt b/compiler/testData/diagnostics/tests/resolve/smartcastToMoreSpecificProperty.fir.kt index aaf25d01237..6f3cfe5f696 100644 --- a/compiler/testData/diagnostics/tests/resolve/smartcastToMoreSpecificProperty.fir.kt +++ b/compiler/testData/diagnostics/tests/resolve/smartcastToMoreSpecificProperty.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface A> { val symbol: ASymbol } diff --git a/compiler/testData/diagnostics/tests/resolve/smartcastToMoreSpecificProperty.kt b/compiler/testData/diagnostics/tests/resolve/smartcastToMoreSpecificProperty.kt index faa474d027e..fd08be0121d 100644 --- a/compiler/testData/diagnostics/tests/resolve/smartcastToMoreSpecificProperty.kt +++ b/compiler/testData/diagnostics/tests/resolve/smartcastToMoreSpecificProperty.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS interface A> { val symbol: ASymbol } diff --git a/compiler/testData/diagnostics/tests/samConversions/implicitReturnType.kt b/compiler/testData/diagnostics/tests/samConversions/implicitReturnType.kt index 63cd37c90f1..906bdaef3af 100644 --- a/compiler/testData/diagnostics/tests/samConversions/implicitReturnType.kt +++ b/compiler/testData/diagnostics/tests/samConversions/implicitReturnType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // SKIP_TXT // ISSUE: KT-52691 diff --git a/compiler/testData/diagnostics/tests/scopes/classHeader/delegation.kt b/compiler/testData/diagnostics/tests/scopes/classHeader/delegation.kt index 0ad1127430c..9d745b0ffd2 100644 --- a/compiler/testData/diagnostics/tests/scopes/classHeader/delegation.kt +++ b/compiler/testData/diagnostics/tests/scopes/classHeader/delegation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER diff --git a/compiler/testData/diagnostics/tests/scopes/kt1248.kt b/compiler/testData/diagnostics/tests/scopes/kt1248.kt index 531f340f38d..3f800bfb141 100644 --- a/compiler/testData/diagnostics/tests/scopes/kt1248.kt +++ b/compiler/testData/diagnostics/tests/scopes/kt1248.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL //KT-1248 Control visibility of overrides needed package kt1248 diff --git a/compiler/testData/diagnostics/tests/scopes/protectedVisibility/kt7971.fir.kt b/compiler/testData/diagnostics/tests/scopes/protectedVisibility/kt7971.fir.kt index 1251899fd53..13f51aa955d 100644 --- a/compiler/testData/diagnostics/tests/scopes/protectedVisibility/kt7971.fir.kt +++ b/compiler/testData/diagnostics/tests/scopes/protectedVisibility/kt7971.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !CHECK_TYPE // !LANGUAGE: -ProhibitProtectedCallFromInline // FILE: module1/AbstractModule.java diff --git a/compiler/testData/diagnostics/tests/scopes/protectedVisibility/kt7971.kt b/compiler/testData/diagnostics/tests/scopes/protectedVisibility/kt7971.kt index cda67cf720c..a4c29bd2775 100644 --- a/compiler/testData/diagnostics/tests/scopes/protectedVisibility/kt7971.kt +++ b/compiler/testData/diagnostics/tests/scopes/protectedVisibility/kt7971.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !CHECK_TYPE // !LANGUAGE: -ProhibitProtectedCallFromInline // FILE: module1/AbstractModule.java diff --git a/compiler/testData/diagnostics/tests/scopes/visibility2.fir.kt b/compiler/testData/diagnostics/tests/scopes/visibility2.fir.kt index a63e6a85949..7356323953d 100644 --- a/compiler/testData/diagnostics/tests/scopes/visibility2.fir.kt +++ b/compiler/testData/diagnostics/tests/scopes/visibility2.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE // JAVAC_EXPECTED_FILE // WITH_EXTENDED_CHECKERS diff --git a/compiler/testData/diagnostics/tests/scopes/visibility2.kt b/compiler/testData/diagnostics/tests/scopes/visibility2.kt index c975e22bcee..6363af5b456 100644 --- a/compiler/testData/diagnostics/tests/scopes/visibility2.kt +++ b/compiler/testData/diagnostics/tests/scopes/visibility2.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE // JAVAC_EXPECTED_FILE // WITH_EXTENDED_CHECKERS diff --git a/compiler/testData/diagnostics/tests/smartCasts/lambdaArgumentNoSubstitutedReturn.kt b/compiler/testData/diagnostics/tests/smartCasts/lambdaArgumentNoSubstitutedReturn.kt index a42e9206d0d..5d9ffe6882c 100644 --- a/compiler/testData/diagnostics/tests/smartCasts/lambdaArgumentNoSubstitutedReturn.kt +++ b/compiler/testData/diagnostics/tests/smartCasts/lambdaArgumentNoSubstitutedReturn.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL class Indexed(val x: T, val y: Int) diff --git a/compiler/testData/diagnostics/tests/subtyping/extFunctionTypeAsSuperType.kt b/compiler/testData/diagnostics/tests/subtyping/extFunctionTypeAsSuperType.kt index 6e9a05eaff2..39639446971 100644 --- a/compiler/testData/diagnostics/tests/subtyping/extFunctionTypeAsSuperType.kt +++ b/compiler/testData/diagnostics/tests/subtyping/extFunctionTypeAsSuperType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL class A : Double.() -> Unit { override fun invoke(p1: Double) {} diff --git a/compiler/testData/diagnostics/tests/subtyping/extFunctionTypeAsSuperTypeRestrictionLifted.kt b/compiler/testData/diagnostics/tests/subtyping/extFunctionTypeAsSuperTypeRestrictionLifted.kt index 69e44eddac5..05d324f32be 100644 --- a/compiler/testData/diagnostics/tests/subtyping/extFunctionTypeAsSuperTypeRestrictionLifted.kt +++ b/compiler/testData/diagnostics/tests/subtyping/extFunctionTypeAsSuperTypeRestrictionLifted.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +FunctionalTypeWithExtensionAsSupertype // SKIP_TXT diff --git a/compiler/testData/diagnostics/tests/subtyping/functionTypeAsSuperType.kt b/compiler/testData/diagnostics/tests/subtyping/functionTypeAsSuperType.kt index a05c56fe5f7..bd920753d17 100644 --- a/compiler/testData/diagnostics/tests/subtyping/functionTypeAsSuperType.kt +++ b/compiler/testData/diagnostics/tests/subtyping/functionTypeAsSuperType.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL class A : () -> Unit { override fun invoke() {} diff --git a/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/basic.kt b/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/basic.kt index 8cf6e17fe84..4be57e8bd55 100644 --- a/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/basic.kt +++ b/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/basic.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER -PLATFORM_CLASS_MAPPED_TO_KOTLIN diff --git a/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/delegation.kt b/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/delegation.kt index a1cd3a82608..410feb91d44 100644 --- a/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/delegation.kt +++ b/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/delegation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER -PLATFORM_CLASS_MAPPED_TO_KOTLIN diff --git a/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/hashMapGetOrDefault.kt b/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/hashMapGetOrDefault.kt index eaae549ee31..56bffae9b0c 100644 --- a/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/hashMapGetOrDefault.kt +++ b/compiler/testData/diagnostics/tests/targetedBuiltIns/backwardCompatibility/hashMapGetOrDefault.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER -PLATFORM_CLASS_MAPPED_TO_KOTLIN // JAVAC_EXPECTED_FILE diff --git a/compiler/testData/diagnostics/tests/targetedBuiltIns/forEachRemainingNullability.kt b/compiler/testData/diagnostics/tests/targetedBuiltIns/forEachRemainingNullability.kt index ec95302316b..1c06c87e3de 100644 --- a/compiler/testData/diagnostics/tests/targetedBuiltIns/forEachRemainingNullability.kt +++ b/compiler/testData/diagnostics/tests/targetedBuiltIns/forEachRemainingNullability.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // FULL_JDK diff --git a/compiler/testData/diagnostics/tests/targetedBuiltIns/mutableMapRemove.fir.kt b/compiler/testData/diagnostics/tests/targetedBuiltIns/mutableMapRemove.fir.kt index 8ff87981612..e64d32d5afa 100644 --- a/compiler/testData/diagnostics/tests/targetedBuiltIns/mutableMapRemove.fir.kt +++ b/compiler/testData/diagnostics/tests/targetedBuiltIns/mutableMapRemove.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -PARAMETER_NAME_CHANGED_ON_OVERRIDE // FULL_JDK diff --git a/compiler/testData/diagnostics/tests/targetedBuiltIns/mutableMapRemove.kt b/compiler/testData/diagnostics/tests/targetedBuiltIns/mutableMapRemove.kt index b0b2347cd2e..b0a4a912026 100644 --- a/compiler/testData/diagnostics/tests/targetedBuiltIns/mutableMapRemove.kt +++ b/compiler/testData/diagnostics/tests/targetedBuiltIns/mutableMapRemove.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_PARAMETER -PARAMETER_NAME_CHANGED_ON_OVERRIDE // FULL_JDK diff --git a/compiler/testData/diagnostics/tests/targetedBuiltIns/removeIf.kt b/compiler/testData/diagnostics/tests/targetedBuiltIns/removeIf.kt index c7354337e8d..6b9bd90e2e7 100644 --- a/compiler/testData/diagnostics/tests/targetedBuiltIns/removeIf.kt +++ b/compiler/testData/diagnostics/tests/targetedBuiltIns/removeIf.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // FULL_JDK diff --git a/compiler/testData/diagnostics/tests/targetedBuiltIns/stream.kt b/compiler/testData/diagnostics/tests/targetedBuiltIns/stream.kt index b11c19d95e2..5848f2ca42f 100644 --- a/compiler/testData/diagnostics/tests/targetedBuiltIns/stream.kt +++ b/compiler/testData/diagnostics/tests/targetedBuiltIns/stream.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // FULL_JDK diff --git a/compiler/testData/diagnostics/tests/thisAndSuper/genericQualifiedSuperOverridden.kt b/compiler/testData/diagnostics/tests/thisAndSuper/genericQualifiedSuperOverridden.kt index 943d1de6800..ccb9b86c70d 100644 --- a/compiler/testData/diagnostics/tests/thisAndSuper/genericQualifiedSuperOverridden.kt +++ b/compiler/testData/diagnostics/tests/thisAndSuper/genericQualifiedSuperOverridden.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +QualifiedSupertypeMayBeExtendedByOtherSupertype interface IBase { diff --git a/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/ambiguousSuperWithGenerics.fir.kt b/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/ambiguousSuperWithGenerics.fir.kt index 8cd18d9427e..4557a2b8555 100644 --- a/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/ambiguousSuperWithGenerics.fir.kt +++ b/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/ambiguousSuperWithGenerics.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS open class GenericBaseClass { open fun foo(x: T): T = x open fun ambiguous(x: T): T = x diff --git a/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/ambiguousSuperWithGenerics.kt b/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/ambiguousSuperWithGenerics.kt index d5a9258c206..eab44b72628 100644 --- a/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/ambiguousSuperWithGenerics.kt +++ b/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/ambiguousSuperWithGenerics.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS open class GenericBaseClass { open fun foo(x: T): T = x open fun ambiguous(x: T): T = x diff --git a/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/unqualifiedSuperWithGenerics.kt b/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/unqualifiedSuperWithGenerics.kt index 0a3da10a23a..b69d5da87c6 100644 --- a/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/unqualifiedSuperWithGenerics.kt +++ b/compiler/testData/diagnostics/tests/thisAndSuper/unqualifiedSuper/unqualifiedSuperWithGenerics.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL open class GenericBaseClass { open fun foo(x: T): T = x diff --git a/compiler/testData/diagnostics/tests/typeParameters/kt42042.fir.kt b/compiler/testData/diagnostics/tests/typeParameters/kt42042.fir.kt index e8c91889eb1..4a8545abc97 100644 --- a/compiler/testData/diagnostics/tests/typeParameters/kt42042.fir.kt +++ b/compiler/testData/diagnostics/tests/typeParameters/kt42042.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: -ProperTypeInferenceConstraintsProcessing sealed class Subtype { abstract fun cast(value: A1): B1 diff --git a/compiler/testData/diagnostics/tests/typeParameters/kt42042.kt b/compiler/testData/diagnostics/tests/typeParameters/kt42042.kt index e0195682bc0..0780b78731d 100644 --- a/compiler/testData/diagnostics/tests/typeParameters/kt42042.kt +++ b/compiler/testData/diagnostics/tests/typeParameters/kt42042.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: -ProperTypeInferenceConstraintsProcessing sealed class Subtype { abstract fun cast(value: A1): B1 diff --git a/compiler/testData/diagnostics/tests/typeParameters/kt42042Error.fir.kt b/compiler/testData/diagnostics/tests/typeParameters/kt42042Error.fir.kt index 10b5a9b416b..c4018ff0a4a 100644 --- a/compiler/testData/diagnostics/tests/typeParameters/kt42042Error.fir.kt +++ b/compiler/testData/diagnostics/tests/typeParameters/kt42042Error.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ProperTypeInferenceConstraintsProcessing sealed class Subtype { diff --git a/compiler/testData/diagnostics/tests/typeParameters/kt42042Error.kt b/compiler/testData/diagnostics/tests/typeParameters/kt42042Error.kt index 9aafa0963bf..1e1d762655e 100644 --- a/compiler/testData/diagnostics/tests/typeParameters/kt42042Error.kt +++ b/compiler/testData/diagnostics/tests/typeParameters/kt42042Error.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ProperTypeInferenceConstraintsProcessing sealed class Subtype { diff --git a/compiler/testData/diagnostics/tests/typealias/inheritedNestedTypeAlias.fir.kt b/compiler/testData/diagnostics/tests/typealias/inheritedNestedTypeAlias.fir.kt index 28025f52af0..4ce55439986 100644 --- a/compiler/testData/diagnostics/tests/typealias/inheritedNestedTypeAlias.fir.kt +++ b/compiler/testData/diagnostics/tests/typealias/inheritedNestedTypeAlias.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY interface ICell { diff --git a/compiler/testData/diagnostics/tests/typealias/inheritedNestedTypeAlias.kt b/compiler/testData/diagnostics/tests/typealias/inheritedNestedTypeAlias.kt index 9f7bcf654be..d0e84053c88 100644 --- a/compiler/testData/diagnostics/tests/typealias/inheritedNestedTypeAlias.kt +++ b/compiler/testData/diagnostics/tests/typealias/inheritedNestedTypeAlias.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY interface ICell { diff --git a/compiler/testData/diagnostics/tests/typealias/typeAliasAsSuperQualifier.fir.kt b/compiler/testData/diagnostics/tests/typealias/typeAliasAsSuperQualifier.fir.kt index c4c7bf12f6b..2a8a0bdd843 100644 --- a/compiler/testData/diagnostics/tests/typealias/typeAliasAsSuperQualifier.fir.kt +++ b/compiler/testData/diagnostics/tests/typealias/typeAliasAsSuperQualifier.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY open class Base { diff --git a/compiler/testData/diagnostics/tests/typealias/typeAliasAsSuperQualifier.kt b/compiler/testData/diagnostics/tests/typealias/typeAliasAsSuperQualifier.kt index bcc381fa5ff..43c7ef4ef11 100644 --- a/compiler/testData/diagnostics/tests/typealias/typeAliasAsSuperQualifier.kt +++ b/compiler/testData/diagnostics/tests/typealias/typeAliasAsSuperQualifier.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY open class Base { diff --git a/compiler/testData/diagnostics/tests/typealias/typeAliasConstructorTypeArgumentsInferenceWithNestedCalls2.kt b/compiler/testData/diagnostics/tests/typealias/typeAliasConstructorTypeArgumentsInferenceWithNestedCalls2.kt index 2870a18d818..94f08e90129 100644 --- a/compiler/testData/diagnostics/tests/typealias/typeAliasConstructorTypeArgumentsInferenceWithNestedCalls2.kt +++ b/compiler/testData/diagnostics/tests/typealias/typeAliasConstructorTypeArgumentsInferenceWithNestedCalls2.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // NI_EXPECTED_FILE diff --git a/compiler/testData/diagnostics/tests/valueClasses/valueClassCannotImplementInterfaceByDelegation.fir.kt b/compiler/testData/diagnostics/tests/valueClasses/valueClassCannotImplementInterfaceByDelegation.fir.kt index dc0a57a0bc7..0c8f47ae571 100644 --- a/compiler/testData/diagnostics/tests/valueClasses/valueClassCannotImplementInterfaceByDelegation.fir.kt +++ b/compiler/testData/diagnostics/tests/valueClasses/valueClassCannotImplementInterfaceByDelegation.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !SKIP_JAVAC // !LANGUAGE: +InlineClasses // ALLOW_KOTLIN_PACKAGE diff --git a/compiler/testData/diagnostics/tests/valueClasses/valueClassCannotImplementInterfaceByDelegation.kt b/compiler/testData/diagnostics/tests/valueClasses/valueClassCannotImplementInterfaceByDelegation.kt index 3a3e9125d54..bcd97fdc3b6 100644 --- a/compiler/testData/diagnostics/tests/valueClasses/valueClassCannotImplementInterfaceByDelegation.kt +++ b/compiler/testData/diagnostics/tests/valueClasses/valueClassCannotImplementInterfaceByDelegation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !SKIP_JAVAC // !LANGUAGE: +InlineClasses // ALLOW_KOTLIN_PACKAGE diff --git a/compiler/testData/diagnostics/tests/valueClasses/valueClassImplementsCollection.kt b/compiler/testData/diagnostics/tests/valueClasses/valueClassImplementsCollection.kt index 1d5a1c19a61..26eca05fb4d 100644 --- a/compiler/testData/diagnostics/tests/valueClasses/valueClassImplementsCollection.kt +++ b/compiler/testData/diagnostics/tests/valueClasses/valueClassImplementsCollection.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !SKIP_JAVAC // !LANGUAGE: +InlineClasses diff --git a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/generic.kt b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/generic.kt index 15883201341..5e66b511a5f 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/generic.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/generic.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !JVM_TARGET: 1.8 // !JVM_DEFAULT_MODE: enable diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inference/kt33542.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inference/kt33542.kt index ad5891bedf1..fd83d340e39 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inference/kt33542.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inference/kt33542.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !OPT_IN: kotlin.RequiresOptIn diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineOrdinary.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineOrdinary.fir.kt index aaaddf658b1..45acdc0704b 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineOrdinary.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineOrdinary.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE // WITH_COROUTINES diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineOrdinary.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineOrdinary.kt index 2a6d8d33467..a86a8232188 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineOrdinary.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineOrdinary.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE // WITH_COROUTINES diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineSuspend.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineSuspend.kt index 82be01d06b1..f718cd6e2a4 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineSuspend.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfCrossinlineSuspend.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -NOTHING_TO_INLINE diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineOrdinary.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineOrdinary.fir.kt index 6e8007c0766..203ec6d66e9 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineOrdinary.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineOrdinary.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -NOTHING_TO_INLINE // SKIP_TXT // WITH_COROUTINES diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineOrdinary.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineOrdinary.kt index 211eb98e4ea..aa8036e2d2b 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineOrdinary.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineOrdinary.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -NOTHING_TO_INLINE // SKIP_TXT // WITH_COROUTINES diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineSuspend.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineSuspend.kt index a9fb311ea9d..483d0085bda 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineSuspend.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfNoinlineSuspend.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -NOTHING_TO_INLINE // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfOrdinary.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfOrdinary.fir.kt index 60d8505e875..3d1b6c64f55 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfOrdinary.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfOrdinary.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfOrdinary.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfOrdinary.kt index 0de2b6ce865..d15fa810be4 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfOrdinary.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfOrdinary.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfSuspend.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfSuspend.fir.kt index 80706109ffb..754d7c89c85 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfSuspend.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfSuspend.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE -NOTHING_TO_INLINE -UNUSED_PARAMETER // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfSuspend.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfSuspend.kt index 48b92c0b617..b8ffd08e273 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfSuspend.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineOrdinaryOfSuspend.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE -NOTHING_TO_INLINE -UNUSED_PARAMETER // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineOrdinary.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineOrdinary.fir.kt index cec4b4e6cd7..fea304885c0 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineOrdinary.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineOrdinary.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineOrdinary.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineOrdinary.kt index 1ce6b5c2ac9..e37a26b991e 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineOrdinary.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineOrdinary.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineSuspend.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineSuspend.kt index 54a4f314ad4..0de5b343a08 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineSuspend.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfCrossinlineSuspend.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -NOTHING_TO_INLINE // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineOrdinary.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineOrdinary.fir.kt index 80592218dd2..99cf6dca719 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineOrdinary.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineOrdinary.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -NOTHING_TO_INLINE // SKIP_TXT // WITH_COROUTINES diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineOrdinary.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineOrdinary.kt index 4a497f4b077..320e2cb495f 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineOrdinary.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineOrdinary.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -NOTHING_TO_INLINE // SKIP_TXT // WITH_COROUTINES diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineSuspend.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineSuspend.kt index 5dae27c6953..e3475839a15 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineSuspend.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfNoinlineSuspend.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_VARIABLE -NOTHING_TO_INLINE -UNUSED_PARAMETER // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfOrdinary.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfOrdinary.fir.kt index cd3a76acf1b..79180ae7052 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfOrdinary.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfOrdinary.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER // SKIP_TXT // WITH_COROUTINES diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfOrdinary.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfOrdinary.kt index ab798ce2c58..b92ea4d18fd 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfOrdinary.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfOrdinary.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER // SKIP_TXT // WITH_COROUTINES diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfSuspend.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfSuspend.fir.kt index 6592bd21675..6065e065bdd 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfSuspend.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfSuspend.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -NOTHING_TO_INLINE // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfSuspend.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfSuspend.kt index 89b588a0e9c..c824c523728 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfSuspend.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/inlineCrossinline/inlineSuspendOfSuspend.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -NOTHING_TO_INLINE // SKIP_TXT diff --git a/compiler/testData/diagnostics/testsWithStdLib/coroutines/suspendFunctionType/lambdaInOverriddenValInitializer.kt b/compiler/testData/diagnostics/testsWithStdLib/coroutines/suspendFunctionType/lambdaInOverriddenValInitializer.kt index 3a01b61cd05..aca37d452cf 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/coroutines/suspendFunctionType/lambdaInOverriddenValInitializer.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/coroutines/suspendFunctionType/lambdaInOverriddenValInitializer.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL interface Foo { val foo: suspend () -> Unit diff --git a/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsages.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsages.fir.kt index d06242aa192..c0de435a593 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsages.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsages.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !OPT_IN: kotlin.RequiresOptIn // LANGUAGE: +OptInContagiousSignatures diff --git a/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsages.kt b/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsages.kt index a67863612fb..adfdd499cdc 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsages.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsages.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !OPT_IN: kotlin.RequiresOptIn // LANGUAGE: +OptInContagiousSignatures diff --git a/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsagesFuture.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsagesFuture.fir.kt index 5156426416e..aaa29f6813b 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsagesFuture.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsagesFuture.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !OPT_IN: kotlin.RequiresOptIn // LANGUAGE: -OptInContagiousSignatures diff --git a/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsagesFuture.kt b/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsagesFuture.kt index aea63d3da0b..898d07818f0 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsagesFuture.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/experimental/implicitUsagesFuture.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !OPT_IN: kotlin.RequiresOptIn // LANGUAGE: -OptInContagiousSignatures diff --git a/compiler/testData/diagnostics/testsWithStdLib/experimental/incorrectTargetsForExperimentalAnnotation.kt b/compiler/testData/diagnostics/testsWithStdLib/experimental/incorrectTargetsForExperimentalAnnotation.kt index 97e144846b0..412a65d461d 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/experimental/incorrectTargetsForExperimentalAnnotation.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/experimental/incorrectTargetsForExperimentalAnnotation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !OPT_IN: kotlin.RequiresOptIn // FILE: api.kt diff --git a/compiler/testData/diagnostics/testsWithStdLib/experimental/subClassOptInRequired.kt b/compiler/testData/diagnostics/testsWithStdLib/experimental/subClassOptInRequired.kt index 2fff6bf35e1..0721c40f68a 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/experimental/subClassOptInRequired.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/experimental/subClassOptInRequired.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL @RequiresOptIn annotation class Marker diff --git a/compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/notNullAnnotation.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/notNullAnnotation.fir.kt index 202bf90c80d..86ddd3a52a2 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/notNullAnnotation.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/notNullAnnotation.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: -TypeEnhancementImprovementsInStrictMode // FILE: SmartFMap.java diff --git a/compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/notNullAnnotation.kt b/compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/notNullAnnotation.kt index 3ad30bae5a1..cfa77186243 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/notNullAnnotation.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/inference/annotationsForResolve/notNullAnnotation.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !LANGUAGE: -TypeEnhancementImprovementsInStrictMode // FILE: SmartFMap.java diff --git a/compiler/testData/diagnostics/testsWithStdLib/inference/kt32345.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/inference/kt32345.fir.kt index f9c58469372..2de407aaef6 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/inference/kt32345.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/inference/kt32345.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE import kotlin.reflect.KProperty diff --git a/compiler/testData/diagnostics/testsWithStdLib/inference/kt32345.kt b/compiler/testData/diagnostics/testsWithStdLib/inference/kt32345.kt index 5fe9cccbd3e..16c6f507053 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/inference/kt32345.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/inference/kt32345.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_VARIABLE import kotlin.reflect.KProperty diff --git a/compiler/testData/diagnostics/testsWithStdLib/inference/kt38143.kt b/compiler/testData/diagnostics/testsWithStdLib/inference/kt38143.kt index 2da0ef28ab3..ba6bf1bb067 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/inference/kt38143.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/inference/kt38143.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE diff --git a/compiler/testData/diagnostics/testsWithStdLib/inference/performance/kt42195.kt b/compiler/testData/diagnostics/testsWithStdLib/inference/performance/kt42195.kt index 0409e79e71f..29e142ba54a 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/inference/performance/kt42195.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/inference/performance/kt42195.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL sealed class Tree { diff --git a/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.kt b/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.kt index b86b03ce67c..7345681fa1c 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContains.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: -ProhibitConcurrentHashMapContains // FULL_JDK diff --git a/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContainsError.kt b/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContainsError.kt index 4d2dd8c293d..81e154b28db 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContainsError.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/java/concurrentHashMapContainsError.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !LANGUAGE: +ProhibitConcurrentHashMapContains // FULL_JDK diff --git a/compiler/testData/diagnostics/testsWithStdLib/regression/ea70485_functionTypeInheritor.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/regression/ea70485_functionTypeInheritor.fir.kt index 98498c4cc1b..24db0a29c5c 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/regression/ea70485_functionTypeInheritor.fir.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/regression/ea70485_functionTypeInheritor.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS class O : Function2 { override fun invoke(p1: Int, p2: String) { } diff --git a/compiler/testData/diagnostics/testsWithStdLib/regression/ea70485_functionTypeInheritor.kt b/compiler/testData/diagnostics/testsWithStdLib/regression/ea70485_functionTypeInheritor.kt index ec65ffdc1b0..8a8e1509ffa 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/regression/ea70485_functionTypeInheritor.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/regression/ea70485_functionTypeInheritor.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS class O : Function2 { override fun invoke(p1: Int, p2: String) { } diff --git a/compiler/tests-spec/testData/diagnostics/linked/expressions/built-in-types-and-their-semantics/kotlin.unit/p-1/pos/1.1.kt b/compiler/tests-spec/testData/diagnostics/linked/expressions/built-in-types-and-their-semantics/kotlin.unit/p-1/pos/1.1.kt index e29d1c9f63f..487aec39f67 100644 --- a/compiler/tests-spec/testData/diagnostics/linked/expressions/built-in-types-and-their-semantics/kotlin.unit/p-1/pos/1.1.kt +++ b/compiler/tests-spec/testData/diagnostics/linked/expressions/built-in-types-and-their-semantics/kotlin.unit/p-1/pos/1.1.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // FIR_IDENTICAL // !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER // SKIP_TXT diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/30.fir.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/30.fir.kt index 3e7a05f1642..51b9430afb5 100644 --- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/30.fir.kt +++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/30.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_EXPRESSION -UNUSED_VARIABLE -UNUSED_VALUE // SKIP_TXT diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/30.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/30.kt index dc13051308a..c728cbaf77a 100644 --- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/30.kt +++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/30.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_EXPRESSION -UNUSED_VARIABLE -UNUSED_VALUE // SKIP_TXT diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.fir.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.fir.kt index 49d382d053e..8090f83bde5 100644 --- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.fir.kt +++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_EXPRESSION // SKIP_TXT diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.kt index 85488edf055..7b08141ca5b 100644 --- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.kt +++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_EXPRESSION // SKIP_TXT diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.fir.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.fir.kt index f148c973394..dfe9c176bb4 100644 --- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.fir.kt +++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.fir.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_EXPRESSION // SKIP_TXT diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.kt b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.kt index 9b597148c9c..fcbd547f9d9 100644 --- a/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.kt +++ b/compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.kt @@ -1,4 +1,3 @@ -// FIR_DISABLE_LAZY_RESOLVE_CHECKS // !DIAGNOSTICS: -UNUSED_EXPRESSION // SKIP_TXT