scala - 扩展另一个结构类型的结构类型

Question

为什么不允许出现以下情况？ (2.12):

type Foo <: {def foo(): Unit}
type Bar <: {def bar(): Unit} with Foo

对我来说看起来很自然， Bar应该同时拥有 foo()和 bar() .

Answer 1

似乎与括号一起工作

scala> type Foo <: {def foo(): Unit}
     | type Bar <: ({def bar(): Unit}) with Foo
type Foo
type Bar