Scala 3/Dotty中为何无法混入带约束的类型定义？

首先明确：你遇到的编译错误是因为ThingAux[Int]是结构类型，而Scala的extends子句仅支持类或特质（即名义类型）作为父类型，结构类型无法直接被继承。

如果允许类型系统解析Thing2 extends Thing with ThingAux[Int]，会带来以下关键问题：

1. 模糊静态与动态检查的边界 #

结构类型的成员验证在JVM上依赖反射实现，属于动态检查；而类继承是静态的编译期检查。允许继承结构类型后，编译器无法在编译阶段确保子类完全满足结构类型的所有成员约束，可能导致运行时才暴露的反射错误，破坏静态类型安全的核心保证。

2. 引发类型等价性矛盾 #

结构类型基于"成员结构"判断等价，名义类型基于"类型名称"判断。允许继承结构类型会让类型系统的等价性规则变得混乱：比如两个结构类型可能在结构上一致但名义上无关，反之亦然，编译器无法稳定判断子类的类型归属。

3. 导致无法解决的继承冲突 #

最直接的反例就是构造矛盾的结构类型约束，让子类无法同时满足所有父类型的要求：

trait Base {
  type Output
  def produce: Output
}

// 两个结构类型对Output的约束完全冲突
type BaseInt = Base { type Output = Int; def produce: Int }
type BaseString = Base { type Output = String; def produce: String }

// 如果允许继承这两个结构类型
class Broken extends BaseInt with BaseString {
  // 这里produce的返回类型既要Int又要String，根本无法实现
  override def produce: ??? = ???
}

另一个反例涉及成员签名冲突：

trait Service {
  def handle: Unit
}

// 结构类型修改了handle的返回值类型
type BadService = Service { def handle: Boolean }

// 继承Service和BadService
class Impossible extends Service with BadService {
  // handle必须同时返回Unit和Boolean，逻辑上不可能
  override def handle: ??? = ???
}

这些场景下，编译器无法在编译阶段检测到冲突，只能推迟到运行时抛出错误，彻底破坏类型系统的健全性。

Scala的设计刻意区分名义类型（用于静态继承）和结构类型（用于动态适配），就是为了避免这类问题，确保静态类型检查的可靠性。

内容的提问来源于stack exchange，提问作者tribbloid