@@ -35,14 +35,13 @@
// a: any
// a.data = &x
// a.id = typeid_of(type_of(x))
-//
-// Example:
-// a: any = 123
+// // With literals
+// v: any = 123
// // equivalent to
-// a: any
-// tmp: int = 123
-// a.data = &tmp
-// a.id = typeid_of(type_of(tmp))
+// v: any
+// _tmp: int = 123
+// v.data = &_tmp
+// v.id = typeid_of(type_of(_tmp))
//
// `any` is a topologically-dual to a `union` in terms of its usage. Both support assignments of differing types