implement move checking furthermvcheck

+ Enough that examples still compile, but missing references etc.

1 files changed, 14 insertions, 0 deletions

diff --git a/examples/opt_group.fwd b/examples/opt_group.fwd
new file mode 100644
index 0000000..e520c70
--- /dev/null
+++ b/examples/opt_group.fwd
@@ -0,0 +1,14 @@
+do_something(() a | () b)
+{
+	a();
+
+	/* should fail, since either a or b should be called, but not both */
+	b();
+}
+
+main()
+{
+	do_something()
+	=> {}
+	=> {}
+}