diff --git a/idea/ide-common/src/org/jetbrains/kotlin/idea/util/TypeUtils.kt b/idea/ide-common/src/org/jetbrains/kotlin/idea/util/TypeUtils.kt
index 1df1bc47208..f6a7e880bcc 100644
--- a/idea/ide-common/src/org/jetbrains/kotlin/idea/util/TypeUtils.kt
+++ b/idea/ide-common/src/org/jetbrains/kotlin/idea/util/TypeUtils.kt
@@ -56,7 +56,7 @@ private fun KotlinType.approximateNonDynamicFlexibleTypes(
         // Foo<Bar!>! -> Foo<Bar>?
         var approximation =
                 if (isCollection)
-                    (if (isAnnotatedReadOnly()) flexible.upperBound else flexible.lowerBound).makeNullableAsSpecified(!preferNotNull)
+                    flexible.lowerBound.makeNullableAsSpecified(!preferNotNull)
                 else
                     if (this is RawType && preferStarForRaw) flexible.upperBound.makeNullableAsSpecified(!preferNotNull)
                 else
@@ -84,10 +84,6 @@ private fun KotlinType.approximateNonDynamicFlexibleTypes(
     )
 }
 
-fun KotlinType.isAnnotatedReadOnly(): Boolean = hasAnnotationMaybeExternal(JETBRAINS_READONLY_ANNOTATION)
-fun KotlinType.isAnnotatedNotNull(): Boolean = hasAnnotationMaybeExternal(JETBRAINS_NOT_NULL_ANNOTATION)
-fun KotlinType.isAnnotatedNullable(): Boolean = hasAnnotationMaybeExternal(JETBRAINS_NULLABLE_ANNOTATION)
-
 private fun KotlinType.hasAnnotationMaybeExternal(fqName: FqName) = with (annotations) {
     findAnnotation(fqName) ?: findExternalAnnotation(fqName)
 } != null