问具有泛型参数的函数中的结构类型

EN

在Scala中进行实验时，我经常发现自己希望为定义foo的所有类型定义一个函数。对于简单的情况，我可以使用结构类型来实现这一点，但是当需要类型参数时，它就会分崩离析。

下面是一个简单的例子：

def reverse[A](xs: { def reverse(): A }): A = xs.reverse

这不带错误地编译，但在传递定义reverse函数的类型时失败，其错误如下：

scala> reverse("string")
<console>:13: error: type mismatch;
 found   : String("adsf")
 required: AnyRef{def reverse(): ?}
              reverse("adsf")
                      ^

我还尝试为类型参数[A <: { def reverse(): A }]定义结构界限，但是得到了相同的结果。在这里，看起来我可能是类型擦除的受害者(因为它期望reverse的结果是?)。

我不确定这种类型约束在Scala的类型系统中是否是不可能的，或者我是否遗漏了什么。是否有方法为具有泛型参数的函数定义结构类型？

注：--我简要地考虑了我在给定示例中的问题，即reverse实际上是在StringOps上定义的，而不是字符串。不幸的是，将我的字符串封装在一个StringOps容器中也会出现同样的问题。