初步清理 t. 类型异味

Test/NegativeTest/App/defs.vp

@@ -1,20 +1,20 @@
-import stdio
-import t, c
-
-
-# ============================================================
-# 负向测试定义模块：定义 SecretClass
-#
-# 此文件定义 SecretClass，但 main.py 不 import 它。
-# 严格模式下 main.py 中的 SecretClass() 构造应编译失败。
-# ============================================================
-
-
-class SecretClass:
-    val: t.CInt
-
-    def __init__(self, v: t.CInt):
-        self.val = v
-
-    def GetVal(self) -> t.CInt:
-        return self.val
+import stdio
+import t, c
+
+
+# ============================================================
+# 负向测试定义模块：定义 SecretClass
+#
+# 此文件定义 SecretClass，但 main.py 不 import 它。
+# 严格模式下 main.py 中的 SecretClass() 构造应编译失败。
+# ============================================================
+
+
+class SecretClass:
+    val: int
+
+    def __init__(self, v: int):
+        self.val = v
+
+    def GetVal(self) -> int:
+        return self.val