trait Base
trait Plugin { base: Base =>
def asBase: Base & Plugin = this
}
class Mix extends Base, Plugin
val plug: Plugin = new Mix
val baseA: Base= plug.asBase
val baseB: Base = plug // snorts with "Found: Plugin. Required: Base
为什么呢？
如果我没错的话，里氏替换原则被遵守了，因为所有的Plugin实例都是一种混合类型，包括Base的子类型。因此，可以用Plugin类型的对象代替Base类型的对象，而不会影响程序的正确性。
里氏替换原则说
https://en.wikipedia.org/wiki/Liskov_substitution_principle
子类型要求：假设ϕ(x)是一个可以证明对于类型为 T的对象x成立的属性，那么对于类型为S的对象y，ϕ(y)应该是成立的，其中S是T的一个子类型。Plugin不是Base的子类型，所以Liskov原则现在不适用。implicitly[Plugin <:< Base] // doesn't compile
(<:< 比 <: 弱 https://dev59.com/LPfvpYgB1922wOYJJIc_#75762663 但这对我们来说没问题；如果 Plugin 是 Base 的子类型，即 Plugin <: Base，那么还会有 implicitly[Plugin <:< Base] )。
我猜你可能把 trait Plugin { base: Base => } 和 trait Plugin extends Base 或者 子类（继承）和 子类型 搞混了。
https://typelevel.org/blog/2017/02/13/more-types-than-classes.html
trait Plugin extends Base 意味着 Plugin 是 Base 的子类。特别地，这意味着 Plugin 是 Base 的子类型，因此所有 Plugin 的子类型都是 Base 的子类型。
但是，trait Plugin { base: Base => } 意味着所有 子类 都必须是 Base 的子类，而不仅仅是 子类型 （此外，这并不意味着 Plugin 是 Base 的子类型）。实际上，很容易声明一种类型
type SubPlugin <: Plugin
这不是Base的子类型
implicitly[SubPlugin <:< Base] // doesn't compile
Plugin实例都是一个混合类型，其中包括Base的子类型。Plugin的值（OOP实例）都是Base的值（实例），这也不意味着Plugin是Base的子类型，也不意味着Plugin的所有类型都是Base的类型。例如，在val x: Plugin = ???中，x不是Base类型的术语。https://math.stackexchange.com/questions/489369/difference-between-a-type-and-a-set
https://planetmath.org/11typetheoryversussettheory
例如，如果我们定义了两个抽象类型。type A
type B
那么这些类型就没有值。因此，从集合论的角度来看，这些集合是相等的（一个空集）。但是这些类型是不同的。在同伦类型理论（HoTT，https://en.wikipedia.org/wiki/Homotopy_type_theory）中，1 = 2和1 = 3是两种没有任何值但是不同的类型。
因此，可以用类型为
Plugin的对象替换类型为Base的对象，而不会影响程序的正确性。
总有一些程序在运行时不会失败，但在编译时被拒绝。例如，if true then 1 else "a"在运行时不会失败，但是在没有子类型的语言（如Haskell）中可能会被拒绝（但Scala认为这是Any）。Scala拒绝val x: Int = if (true) 1 else "a"，尽管这也不会在运行时失败。足够丰富的类型系统不能同时保证完备性和声音性。通常优先考虑声音性而不是完备性。
trait Plugin { base: Base => } 不总是意味着与 trait Plugin extends Base 相同。这是 Scala 类型系统创建者的设计决策。特别地，如果这样做相同，则两个不同的 traits trait A {this: B =>} 和 trait B {this: A =>} 将具有相同的类型。trait Plugin extends Base 中，Base 必须是一个类/traits。但在 trait Plugin { base: Base => } 中，Base 可以是一个类型。
为什么 Scala 自类型不是其要求的子类型
自类型和 trait 子类之间的区别是什么？
trait 继承和自类型注释之间的区别
哪种写法更符合 Scala 的习惯：trait TraitA extends TraitB 还是 trait TraitA { self: TraitB => }？
trait Plugin { base: Base => } 和 trait Plugin extends Base 之间的区别应该是什么呢？如果你已经有了 trait Plugin extends Base，为什么还需要 trait Plugin { base: Base => } 呢？ - Dmytro Mitinb4也无法编译，因为b4没有混入插件吗？ https://scastie.scala-lang.org/DmytroMitin/OlQ6L1aIRROZm5WRfd1p7Q/1 - Dmytro Mitin