JVM_IR KT-50076 don't null check moved dispatch receiver parameter

compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/codegen/FirBytecodeTextTestGenerated.java

@@ -3962,6 +3962,12 @@ public class FirBytecodeTextTestGenerated extends AbstractFirBytecodeTextTest {
             runTest("compiler/testData/codegen/bytecodeText/interfaces/noAnyMethodsOnInterfaceInheritance.kt");
         }
 
+        @Test
+        @TestMetadata("noNullCheckOnThisInDefaultMethod.kt")
+        public void testNoNullCheckOnThisInDefaultMethod() throws Exception {
+            runTest("compiler/testData/codegen/bytecodeText/interfaces/noNullCheckOnThisInDefaultMethod.kt");
+        }
+
         @Test
         @TestMetadata("noPrivateMemberInJavaInterface.kt")
         public void testNoPrivateMemberInJavaInterface() throws Exception {

compiler/ir/backend.jvm/codegen/src/org/jetbrains/kotlin/backend/jvm/codegen/ExpressionCodegen.kt

@@ -321,7 +321,10 @@ class ExpressionCodegen(
                 irFunction.origin == IrDeclarationOrigin.LOCAL_FUNCTION_FOR_LAMBDA
 
     private fun generateNonNullAssertion(param: IrValueParameter) {
-        if (param.origin == JvmLoweredDeclarationOrigin.FIELD_FOR_OUTER_THIS) return
+        if (param.origin == JvmLoweredDeclarationOrigin.FIELD_FOR_OUTER_THIS ||
+            param.origin == IrDeclarationOrigin.MOVED_DISPATCH_RECEIVER
+        )
+            return
         val asmType = param.type.asmType
         if (!param.type.unboxInlineClass().isNullable() && !isPrimitive(asmType)) {
             mv.load(findLocalIndex(param.symbol), asmType)

compiler/testData/codegen/bytecodeText/interfaces/noNullCheckOnThisInDefaultMethod.kt

@@ -0,0 +1,8 @@
+interface Test {
+    fun foo() = "abc"
+    fun String.bar() = "def"
+}
+
+// 1 check
+//  ^ no null check for dispatch receiver parameters in 'foo' and 'bar',
+//    extension receiver parameter in 'bar' is checked

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/BytecodeTextTestGenerated.java

@@ -3818,6 +3818,12 @@ public class BytecodeTextTestGenerated extends AbstractBytecodeTextTest {
             runTest("compiler/testData/codegen/bytecodeText/interfaces/noAnyMethodsOnInterfaceInheritance.kt");
         }
 
+        @Test
+        @TestMetadata("noNullCheckOnThisInDefaultMethod.kt")
+        public void testNoNullCheckOnThisInDefaultMethod() throws Exception {
+            runTest("compiler/testData/codegen/bytecodeText/interfaces/noNullCheckOnThisInDefaultMethod.kt");
+        }
+
         @Test
         @TestMetadata("noPrivateMemberInJavaInterface.kt")
         public void testNoPrivateMemberInJavaInterface() throws Exception {

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/codegen/IrBytecodeTextTestGenerated.java

@@ -3962,6 +3962,12 @@ public class IrBytecodeTextTestGenerated extends AbstractIrBytecodeTextTest {
             runTest("compiler/testData/codegen/bytecodeText/interfaces/noAnyMethodsOnInterfaceInheritance.kt");
         }
 
+        @Test
+        @TestMetadata("noNullCheckOnThisInDefaultMethod.kt")
+        public void testNoNullCheckOnThisInDefaultMethod() throws Exception {
+            runTest("compiler/testData/codegen/bytecodeText/interfaces/noNullCheckOnThisInDefaultMethod.kt");
+        }
+
         @Test
         @TestMetadata("noPrivateMemberInJavaInterface.kt")
         public void testNoPrivateMemberInJavaInterface() throws Exception {