diff --git a/compiler/fir/cones/src/org/jetbrains/kotlin/fir/types/CompilerConeAttributes.kt b/compiler/fir/cones/src/org/jetbrains/kotlin/fir/types/CompilerConeAttributes.kt
deleted file mode 100644
index 258c89c0a5d..00000000000
--- a/compiler/fir/cones/src/org/jetbrains/kotlin/fir/types/CompilerConeAttributes.kt
+++ /dev/null
@@ -1,29 +0,0 @@
-/*
- * Copyright 2010-2020 JetBrains s.r.o. and Kotlin Programming Language contributors.
- * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
- */
-
-package org.jetbrains.kotlin.fir.types
-
-import kotlin.reflect.KClass
-
-object CompilerConeAttributes {
-    object Exact : ConeAttribute<Exact>() {
-        override fun union(other: Exact?): Exact? = null
-        override fun intersect(other: Exact?): Exact? = null
-        override fun isSubtypeOf(other: Exact?): Boolean = true
-
-        override val key: KClass<out Exact> = Exact::class
-    }
-
-    object NoInfer : ConeAttribute<NoInfer>() {
-        override fun union(other: NoInfer?): NoInfer? = null
-        override fun intersect(other: NoInfer?): NoInfer? = null
-        override fun isSubtypeOf(other: NoInfer?): Boolean = true
-
-        override val key: KClass<out NoInfer> = NoInfer::class
-    }
-}
-
-val ConeAttributes.exact: CompilerConeAttributes.Exact? by ConeAttributes.attributeAccessor<CompilerConeAttributes.Exact>()
-val ConeAttributes.noInfer: CompilerConeAttributes.NoInfer? by ConeAttributes.attributeAccessor<CompilerConeAttributes.NoInfer>()
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt
index 8aa73e11c94..d372a1ba460 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/types/ConeInferenceContext.kt
@@ -251,13 +251,11 @@ interface ConeInferenceContext : TypeSystemInferenceExtensionContext, ConeTypeCo
     }
 
     override fun KotlinTypeMarker.hasExactAnnotation(): Boolean {
-        require(this is ConeKotlinType)
-        return attributes.exact != null
+        return false // TODO
     }
 
     override fun KotlinTypeMarker.hasNoInferAnnotation(): Boolean {
-        require(this is ConeKotlinType)
-        return attributes.noInfer != null
+        return false // TODO
     }
 
     override fun TypeVariableMarker.freshTypeConstructor(): TypeConstructorMarker {