Add note for faling test named_arg

Author: r41k0u

tests/failing_tests/named_arg.py

@@ -4,6 +4,14 @@
 
 from ctypes import c_void_p, c_int64
 
+# NOTE: This example exposes the problems with our typing system.
+# We assign every variable the type i64* by default.
+# lookup() return type is ptr, which can't be loaded.
+# So we can't do steps on line 25 and 27.
+# To counter this, we should allocate vars by speculating their type.
+# And in the assign pass, we should have something like a
+# recursive_dereferencer() that dereferences a ptr until it hits a non-ptr type.
+# And a recursive_wrapper() that does the opposite.
 
 @bpf
 @map