add initial reference invalidation

+ Makes vec example actually memory safe, which is cool

+ Specify owner > sub relationships with ">" in closure parameter
  lists, uses the same group idea as closure calls

+ Relies on users implementing functions in a consistent manner,
  since you can kind of do whatever with pointers. Presumably
  there would be a stdlib of vec/map/set etc. which applications
  could then use and by proxy be memory safe. Although some more
  checks wouldn't hurt, I suppose?

+ Not sure I like having reference invalidation be 'just a move',
  seems to work alright but the semantics of it are a bit muddy.

1 files changed, 5 insertions, 0 deletions

diff --git a/src/analyze.c b/src/analyze.c
index c05542a..fc94e15 100644
--- a/src/analyze.c
+++ b/src/analyze.c
@@ -252,7 +252,12 @@ static int deduce_closure_types(struct scope *scope, struct ast *node, struct ty
 		return -1;
 	}
 
+	/* use same loop to deduce ownership rules */
 	for (; param && t; param = param->n, t = t->n) {
+		/* if this param owns the next, reflect that in our variables */
+		if (t->or)
+			param->or = param->n;
+
 		if (var_type(param))
 			continue;