为何添加a & Nothing分支能让Scala 3递归匹配类型编译通过？

问题场景 #

在Scala 3.3.x中尝试定义针对交集类型的递归匹配类型时，原始代码会因循环引用编译失败：

sealed trait Authorization
trait Admin extends Authorization
trait Owner extends Authorization

trait Authorizer[A <: Authorization]

type F[A <: Authorization] <: Any = A match
  case a & b => F[a] & F[b]
  case _     => Authorizer[A]

报错信息为：涉及类型F的循环引用。

但添加a & Nothing分支后，代码可正常编译：

type F[A <: Authorization] <: Any = A match
  case a & Nothing => Authorizer[a]       // 添加的终止分支
  case a & b       => F[a] & F[b]
  case _           => Authorizer[A]

为什么添加a & Nothing分支能打破循环？ #

Scala 3的匹配类型对递归有终止性检查：编译器必须能证明递归过程会最终停止，否则会判定为循环引用报错。

1. 原始代码的问题：
   原始代码中，拆分交集a & b的递归逻辑没有明确的终止标记。编译器无法自动推断出“拆分到单一类型时会触发_分支”——因为从类型理论上，单一类型可以被无限拆分为A & Nothing & Nothing...这种形式，编译器无法确认递归会终止，因此判定为循环引用。

2. a & Nothing分支的作用：
   在Scala类型系统中，单一类型A等价于A & Nothing（Nothing是底类型，与任何类型的交集都等价于原类型）。添加这个分支后，相当于给递归提供了明确的基例终止条件：当交集的其中一部分是Nothing时，直接返回Authorizer[a]，不再继续递归。此时编译器可以明确识别出递归的终止路径，因此不再报错。

该行为是否有规范保障？ #

这个行为完全符合Scala 3匹配类型的官方设计规范。递归匹配类型要求必须提供可被编译器识别的终止条件，添加a & Nothing这类明确的基例分支，是官方认可的解决递归终止性问题的手段，在Scala 3的稳定版本（包括3.3.x系列）中，该行为是稳定且有保障的。

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