diff --git a/compiler/fir/analysis-tests/testData/resolve/diagnostics/annotationArgumentKClassLiteralTypeError.fir.txt b/compiler/fir/analysis-tests/testData/resolve/diagnostics/annotationArgumentKClassLiteralTypeError.fir.txt index e9ac47ae1b4..1ba09c290b2 100644 --- a/compiler/fir/analysis-tests/testData/resolve/diagnostics/annotationArgumentKClassLiteralTypeError.fir.txt +++ b/compiler/fir/analysis-tests/testData/resolve/diagnostics/annotationArgumentKClassLiteralTypeError.fir.txt @@ -9,7 +9,7 @@ FILE: annotationArgumentKClassLiteralTypeError.kt } public final val R|T|.test: R|kotlin/Any| - public inline get(): R|| { + public inline get(): R|kotlin/Any| { ^ @R|Ann|(((R|T|), (Q|kotlin/Array|))) object : R|kotlin/Any| { private constructor(): R|| { super() diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt index df81b97453a..5e790cf7a0b 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt @@ -307,6 +307,8 @@ open class FirDeclarationsResolveTransformer(transformer: FirBodyResolveTransfor if (returnTypeRef is FirImplicitTypeRef) { storeVariableReturnType(this) enhancedTypeRef = returnTypeRef + // We need update type of getter for case when its type was approximated + getter?.replaceReturnTypeRef(enhancedTypeRef) } setter?.let { if (it.valueParameters[0].returnTypeRef is FirImplicitTypeRef) {