diff --git a/compiler/fir/resolve/testData/resolve/problems/definitelyNotNullAndOriginalType.kt b/compiler/fir/resolve/testData/resolve/problems/definitelyNotNullAndOriginalType.kt
new file mode 100644
index 00000000000..0230fdf919f
--- /dev/null
+++ b/compiler/fir/resolve/testData/resolve/problems/definitelyNotNullAndOriginalType.kt
@@ -0,0 +1,15 @@
+// Original problem was discovered in `backend.main/org/jetbrains/kotlin/codegen/inline/InlineCache.kt`
+
+// FILE: SLRUMap.java
+
+import org.jetbrains.annotations.NotNull;
+
+public interface SLRUMap<V> {
+    void takeV(@NotNull V value);
+}
+
+// FILE: main.kt
+
+fun <V> SLRUMap<V>.getOrPut(value: V) {
+    <!INAPPLICABLE_CANDIDATE!>takeV<!>(value)
+}
diff --git a/compiler/fir/resolve/testData/resolve/problems/definitelyNotNullAndOriginalType.txt b/compiler/fir/resolve/testData/resolve/problems/definitelyNotNullAndOriginalType.txt
new file mode 100644
index 00000000000..35936f324bf
--- /dev/null
+++ b/compiler/fir/resolve/testData/resolve/problems/definitelyNotNullAndOriginalType.txt
@@ -0,0 +1,4 @@
+FILE: main.kt
+    public final fun <V> R|SLRUMap<V>|.getOrPut(value: R|V|): R|kotlin/Unit| {
+        <Inapplicable(INAPPLICABLE): [/SLRUMap.takeV]>#(R|<local>/value|)
+    }
diff --git a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java
index c21ddcd6915..38e56c5c4e0 100644
--- a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java
+++ b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java
@@ -1289,6 +1289,11 @@ public class FirDiagnosticsTestGenerated extends AbstractFirDiagnosticsTest {
             runTest("compiler/fir/resolve/testData/resolve/problems/definetelyNotNullForTypeParameter.kt");
         }
 
+        @TestMetadata("definitelyNotNullAndOriginalType.kt")
+        public void testDefinitelyNotNullAndOriginalType() throws Exception {
+            runTest("compiler/fir/resolve/testData/resolve/problems/definitelyNotNullAndOriginalType.kt");
+        }
+
         @TestMetadata("javaAccessorConversion.kt")
         public void testJavaAccessorConversion() throws Exception {
             runTest("compiler/fir/resolve/testData/resolve/problems/javaAccessorConversion.kt");
diff --git a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java
index 2eea92315c0..aa8d116f38f 100644
--- a/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java
+++ b/compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java
@@ -1289,6 +1289,11 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
             runTest("compiler/fir/resolve/testData/resolve/problems/definetelyNotNullForTypeParameter.kt");
         }
 
+        @TestMetadata("definitelyNotNullAndOriginalType.kt")
+        public void testDefinitelyNotNullAndOriginalType() throws Exception {
+            runTest("compiler/fir/resolve/testData/resolve/problems/definitelyNotNullAndOriginalType.kt");
+        }
+
         @TestMetadata("javaAccessorConversion.kt")
         public void testJavaAccessorConversion() throws Exception {
             runTest("compiler/fir/resolve/testData/resolve/problems/javaAccessorConversion.kt");