From dae24ff6d12777b355d8b5fd0c4b9138f927a256 Mon Sep 17 00:00:00 2001
From: Pavel Kunyavskiy <pavel.kunyavskiy@jetbrains.com>
Date: Mon, 28 Feb 2022 17:39:02 +0300
Subject: [PATCH] [K/N] Support IrDefinitelyNotNullType in type erasure

---
 .../jetbrains/kotlin/backend/konan/lower/TypeOperatorLowering.kt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kotlin-native/backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/lower/TypeOperatorLowering.kt b/kotlin-native/backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/lower/TypeOperatorLowering.kt
index 24b5ddf00f2..8c6292c0e15 100644
--- a/kotlin-native/backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/lower/TypeOperatorLowering.kt
+++ b/kotlin-native/backend.native/compiler/ir/backend.native/src/org/jetbrains/kotlin/backend/konan/lower/TypeOperatorLowering.kt
@@ -22,6 +22,7 @@ import org.jetbrains.kotlin.ir.visitors.transformChildrenVoid
 
 // TODO: Similar to IrType.erasedUpperBound from jvm.ir
 internal fun IrType.erasure(): IrType {
+    if (this is IrDefinitelyNotNullType) return this.original.erasure().makeNotNull()
     if (this !is IrSimpleType) return this
 
     val upperBound = when (val classifier = classifier) {