Disallow kết hợp của những đặc điểm cụ thể

Question

Given:

trait Foo 
trait Bar { this: Foo => } 
trait NoBar { this: Foo => } 

Có cách nào một thể lừa hệ thống kiểu vào không cho phép:

new Foo with Bar with NoBar {} 

Answer 1

Và loại chô bôi tiết kiệm ngày một lần nữa:

trait Foo 
trait Dummy[A] 
trait Bar extends Dummy[Bar]{ this: Foo => } 
trait NoBar extends Dummy[NoBar]{ this: Foo => } 
new Foo with Bar with NoBar {} 

Điều này dẫn đến lỗi sau:

illegal inheritance; anonymous class $anon inherits different 
type instances of trait Dummy: Dummy[Bar] and Dummy[NoBar]