Is it possible to allow exporting members in self-type?
type ID = Any { self: Long =>
export self.{+, -}
}
I think it would be useful when creating opacity types Proposal for Opaque Type Aliases
1 Like