结构细化中的结果类型可能不引用用户定义的值类

Question

当我将包装器定义为值类（扩展AnyVal）时：

class Wrapper(val string: String) extends AnyVal

def wrapperHolder(w: Wrapper): {def wrapper: Wrapper} = new {
  def wrapper: Wrapper = w
}

我对于wrapperHolder有以下编译错误：

Error:(5, 22) Result type in structural refinement may not refer to a user-defined value class
def wrapper: Wrapper = w

• 为什么它不适用于价值类？

Answer 1

声明一个特质可能会有所帮助：

class Wrapper(val string: String) extends AnyVal

trait WrapperHolder {
    def wrapper: Wrapper 
}

def wrapperHolder(w: Wrapper) : WrapperHolder = new WrapperHolder {
    def wrapper: Wrapper = w
}