---

yaml
---
r: 731
b: refs/heads/master
c: 74cb950
h: refs/heads/master
i:
  729: 8854bdb
  727: 8a94498
v: v3

Author: tohava

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b970563fe3f36853250f4cef65a8425431789e8b
+refs/heads/master: 74cb9508cd122b7863f179c69c406e0f47572354

trunk/src/boot/fe/item.ml

@@ -148,12 +148,21 @@ and parse_auto_slot_and_init
   let stmts = ctxt "slot, ident and init: init" (parse_init lval) ps in
     (stmts, slot_auto, ident)
 
+
+and parse_stmts (ps:pstate) : Ast.stmt array =
+  let arr = parse_stmts_including_none ps in
+    if (Array.length arr) == 0 then
+      raise (err "statement does nothing" ps);
+    arr
+        
+    
+
 (*
  * We have no way to parse a single Ast.stmt; any incoming syntactic statement
  * may desugar to N>1 real Ast.stmts
  *)
 
-and parse_stmts (ps:pstate) : Ast.stmt array =
+and parse_stmts_including_none (ps:pstate) : Ast.stmt array =
   let apos = lexpos ps in
 
   let ensure_mutable slot =

trunk/src/test/compile-fail/does-nothing.rs

@@ -0,0 +1,7 @@
+// error-pattern: does nothing
+fn main() {
+  log "doing";
+  this_does_nothing_what_the;
+  log "boing";
+}
+