FIR: Avoid propagation of @Exact annotation through elvis

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java

@@ -33179,6 +33179,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/testsWithStdLib/annotations/defaultValueMustBeConstant.kt");
             }
 
+            @Test
+            @TestMetadata("dontPropagateExact.kt")
+            public void testDontPropagateExact() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/annotations/dontPropagateExact.kt");
+            }
+
             @Test
             @TestMetadata("explicitMetadata.kt")
             public void testExplicitMetadata() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java

@@ -33179,6 +33179,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/testsWithStdLib/annotations/defaultValueMustBeConstant.kt");
             }
 
+            @Test
+            @TestMetadata("dontPropagateExact.kt")
+            public void testDontPropagateExact() throws Exception {
+                runTest("compiler/testData/diagnostics/testsWithStdLib/annotations/dontPropagateExact.kt");
+            }
+
             @Test
             @TestMetadata("explicitMetadata.kt")
             public void testExplicitMetadata() throws Exception {

compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/FirCallCompletionResultsWriterTransformer.kt

@@ -332,7 +332,22 @@ class FirCallCompletionResultsWriterTransformer(
             type = substitutedType ?: initialType, TypeApproximatorConfiguration.FinalApproximationAfterResolutionAndInference,
         ) ?: substitutedType
 
-        return withReplacedConeType(finalType)
+        // This is probably a temporary hack, but it seems necessary because elvis has that attribute and it may leak further like
+        // fun <E> foo() = materializeNullable<E>() ?: materialize<E>() // `foo` return type unexpectedly gets inferred to @Exact E
+        //
+        // In FE1.0, it's not necessary since the annotation for elvis have some strange form (see org.jetbrains.kotlin.resolve.descriptorUtil.AnnotationsWithOnly)
+        // that is not propagated further.
+        val withRemovedExactAttribute = finalType?.removeExactAttribute()
+
+        return withReplacedConeType(withRemovedExactAttribute)
+    }
+
+    private fun ConeKotlinType.removeExactAttribute(): ConeKotlinType {
+        if (attributes.contains(CompilerConeAttributes.Exact)) {
+            return withAttributes(attributes.remove(CompilerConeAttributes.Exact), session.typeContext)
+        }
+
+        return this
     }
 
     override fun transformSafeCallExpression(