Skip to content

Incomplete equality generated for nested case classes with type parameters #7281

Closed
@b-studios

Description

@b-studios

When compared for equality, nested case classes with type parameters do not check for their parent object.

Tried on latest Dotty nightly. Scala 2 shows expected behavior

minimized code

trait T {
    case class X[A]()
}

object a extends T
object b extends T

val ax = a.X()
val bx = b.X()

println(ax == bx)

expectation

The equality check should print false but prints true.

Deleting the type parameter [A] on the case class shows the correct behavior.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions