从单文件内的集合差分，到跨文件、跨别名的声明依赖图可达性分析，在 Tinymist 中实现了一套语义驱动的无用声明检测机制。