PEP 800 提出了新的装饰器 @disjoint_base，用于标记类为“不相交基类”，从而帮助类型检查器准确判断两个类是否可以有共同的子类。这一改进增强了 Python 的类型系统，使类型检查器更好地理解代码的可达性，减少复杂性和潜在错误。