diff --git a/TODO.md b/TODO.md
index 09ea13c7..29751481 100644
--- a/TODO.md
+++ b/TODO.md
@@ -13,6 +13,8 @@
     * Don't create IValueList if apply `{1 2 3}` on `List<int>` argument.
     * Use ::vl::vint for int in both 32 and 64 configurations.
 * State Machine
+* Issues:
+    * `prop A : A = x {}` doesn't report error (because type A should resolve to the property itself)
 
 #### (probably not do)