Skip to content

Cannot summon opaque type typeclass instance if it is defined in object and referred with object prefix #17262

Open
@jilen

Description

@jilen

Compiler version

3.3.0-RC3

Minimized code

trait Show[A]

given Show[Long] with {}


object Foo {
  opaque type Id = Long

  summon[Show[Id]] // fine.
  summon[Show[Foo.Id]] // won't compile
}

The first summon just fine, but the second not.

Which might be the root cause of #17639

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