notes

test/lit/passes/gufa-tnh.wast

diff --git a/test/lit/passes/gufa-tnh.wast b/test/lit/passes/gufa-tnh.wast
index 1841a37..59aee6f 100644
--- a/test/lit/passes/gufa-tnh.wast
+++ b/test/lit/passes/gufa-tnh.wast
@@ -1915,7 +1915,10 @@
   )
 )
 
-;; An inference that requires two passes of the TNH oracle to achieve.
+;; An inference that requires two internal passes of the TNH oracle to achieve.
+;; TODO: For this to pass, we need to not only update the oracle result for
+;;       the cast in $middle, but also the ref.cast itself (or read from
+;;       the oracle for the cast).
 (module
   (func $called (param $x (ref null func))
     (drop