Skip to content

java generic signature for Array intersection does not match erasedGlb #12204

Closed
@bishabosha

Description

@bishabosha

Compiler version

3.0.0-RC2

Minimized code

package dottyErasure

class Z {
  def intARRAY_131(x: Array[String] with Array[Int]): Unit = {}
}

Output

// javap -v dottyErasure.Z
public void intARRAY_131(java.lang.String[]);
    descriptor: ([I)V
    flags: ACC_PUBLIC
    Code:
      stack=0, locals=2, args_size=2
         0: return
      LineNumberTable:
        line 257: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       1     0  this   LdottyErasure/Z;
            0       1     1     x   [I
    Signature: #187                         // ([Ljava/lang/String;)V
    MethodParameters:
      Name                           Flags
      x                              final

Expectation

public void intARRAY_131(int[]);

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions