Nits

Signed-off-by: Anqur <[email protected]>

lyzh/abstract/rename.py

@@ -1,12 +1,7 @@
 """数值内部引用刷新器, 这是因为, 我们使用了 capture-avoiding substitution 的技术,
 所有的定义检查完毕类型之后, 它就像一个 "模板" 存在于 global context 当中, 如果后续有其他定义引用,
 则我们应该把这个 "模板" 生成出来的数值内部的所有 ID 重新刷新, 不然的话, 引用会指向 "模板" 中去,
-造成严重错误 (比如程序陷入死循环).
-
-举个死循环的例子, 假如我们不去做 rename, 则有这样一个函数:
-
-TODO
-"""
+造成严重错误 (比如程序陷入死循环)."""
 
 import dataclasses
 import typing