For the attached class file, we end up with a phi that has locals information and the operands do not. In the java bytecode the local is introduced at a join point. That triggers assertions in D8.

The method in question is: inlineFun$default

Here is a javap dump:

public static A inlineFun$default(A, kotlin.jvm.functions.Function0, int, java.lang.Object);
    descriptor: (LA;Lkotlin/jvm/functions/Function0;ILjava/lang/Object;)LA;
    flags: ACC_PUBLIC, ACC_STATIC, ACC_SYNTHETIC
    Code:
      stack=3, locals=6, args_size=4
         0: iload_2
         1: iconst_2
         2: iand
         3: ifeq          18
         6: new           #34                 // class FlafKt$inlineFun$1
         9: dup
        10: aload_0
        11: invokespecial #38                 // Method FlafKt$inlineFun$1."<init>":(LA;)V
        14: checkcast     #20                 // class kotlin/jvm/functions/Function0
        17: astore_1
        18: aload_1
        19: astore        4
        21: iconst_0
        22: istore        5
        24: aload         4
        26: invokeinterface #24,  1           // InterfaceMethod kotlin/jvm/functions/Function0.invoke:()Ljava/lang/Object;
        31: checkcast     #26                 // class A
        34: areturn
      StackMapTable: number_of_entries = 1
        frame_type = 18 /* same */
      LineNumberTable:
        line 13: 24
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
           24      10     5 $i$f$inlineFun   I
           21      13     4 lambda$iv   Lkotlin/jvm/functions/Function0;

The local in slot 4 lambda$iv is what is causing issues.

I was using D8 1.5.70 when encountering this.

Issue 148661132

Links (5)

Issue metadata