Skip to content

Cannot define 'opaque type' in class or trait #8874

Closed
@edolgy

Description

@edolgy
  trait Abc:
    opaque type Log = Double

  class AbcClass extends Abc

  val v = new AbcClass

Fails with : self type of class AbcClass does not conform to self type Any{Log = LazyRef(Double)}

The most simplistic case of this was fixed as 8750

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions