spill straight fax

1 files changed, 2 insertions, 1 deletions

diff --git a/posts/turing_complete_type_systems.md b/posts/turing_complete_type_systems.md
index b6ec7bc..70136c8 100644
--- a/posts/turing_complete_type_systems.md
+++ b/posts/turing_complete_type_systems.md
@@ -17,6 +17,7 @@ problem](https://en.wikipedia.org/wiki/Undecidable_problem).
 Rust performs compile-time type inference. The type checker,
 in turn, compiles and infers types, I would describe it as a
 compiler inside a compiler. It is possible that `rustc` may
-never finish compiling your Rust program!
+never finish compiling your Rust program! I lied, `rustc`
+stops after a while, after hitting the recursion limit.
 
 I understand that this post lacks content.