The following code (generated via wip javac)

static X$Point makePoint(int, int);
    descriptor: (II)QX$Point;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=2, locals=3, args_size=2
         0: defaultvalue  #1                  // class X$Point
         3: checkcast     #3                  // class X$Point
         6: astore_2
         7: iload_0
         8: aload_2
         9: swap
        10: withfield     #4                  // Field x:I
        13: astore_2
        14: iload_1
        15: aload_2
        16: swap
        17: withfield     #8                  // Field y:I
        20: astore_2
        21: aload_2
        22: checkcast     #11                 // class "QX$Point;"
        25: areturn
      LineNumberTable:
        line 5: 0
        line 6: 7
        line 7: 14
        line 8: 21
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0      26     0     x   I
            0      26     1     y   I
            7      19     2     p   LX$Point;

fails to verify at @bci 10 : Type 'X$Point' (current frame, stack[0]) is not assignable to inline type