参考Scala中的内部类的类型

以下代码尝试模拟 Polymorphic Embedding of DSLs：而不是在Inner中给出行为,它被编码在其包围类的useInner方法中.我添加了封闭方法,以便用户只能保留对Inner实例的引用,但可以随时获取其包围的实例.通过这样做,来自特定外部实例的所有内部实例将只绑定到一个行为(但是在此需要).

abstract class Outer {
  sealed class Inner {
    def enclosing = Outer.this
  }
 def useInner(x:Inner) : Boolean
}

def toBoolean(x:Outer#Inner) : Boolean = x.enclosing.useInner(x)

它不编译和scala 2.8抱怨：

type mismatch; found: sandbox.Outer#Inner
               required: _81.Inner where val _81:sandbox.Outer

从Programming Scala: Nested classes和A Tour of Scala: Inner Classes起,在我看来,问题是将useInnxxists作为参数,从一个特定的外部实例的内部实例.

什么是真正的解释和如何解决这个问题？

abstract class Outer {
  sealed class Inner {
    def enclosing = Outer.this
  }
  def useInner(x:Outer#Inner) : Boolean
}

def toBoolean(x:Outer#Inner) : Boolean = x.enclosing.useInner(x)