基于Pyright的类型提示优化：Never与NoReturn的规范化处理

在Python静态类型检查器Pyright的衍生项目BasedPyright中，开发团队发现了一个关于特殊类型Never的显示问题。当函数返回类型标注为Never时，IDE的悬停提示和嵌入提示中错误地将其显示为已弃用的NoReturn类型。

Never类型在Python类型系统中表示函数永远不会正常返回，通常用于抛出异常或无限循环的场景。该类型在Python 3.11+中成为标准，而旧名称NoReturn已被标记为弃用。基于Pyright作为现代类型检查工具，应当优先使用新的标准名称。

技术实现上，该问题源于类型评估器中对特殊类型的字符串表示处理。在类型评估阶段，当检测到Never类型时，系统错误地将其转换为NoReturn的字符串表示形式。这会导致IDE功能如代码提示和悬停信息显示不一致。

修复方案相对直接：修改类型评估器中相关代码段，确保Never类型在转换为字符串时保持原名。这一改动虽然微小，但对保持类型系统的一致性和现代性具有重要意义。

对于开发者而言，这一改进意味着：

1. 更准确的类型提示信息
2. 符合Python最新标准的开发体验
3. 避免使用已弃用术语带来的混淆

该问题被标记为"good first issue"，说明它是新贡献者熟悉项目代码库的良好切入点。修复过程不涉及复杂逻辑，主要考验开发者对项目架构和类型系统基础的理解。

基于Pyright团队通过这个案例展示了他们对细节的关注和对标准一致性的坚持，这也是该项目能够成为Python类型检查领域重要选择的原因之一。