add tests, fix namespaces on older tests, fix another bug

compiler/parser/src/tokenizer/lexer.rs

@@ -115,7 +115,9 @@ impl Token {
 
         if unicode {
             let string = input_tendril.to_string();
-            if string.find('}').is_none() {
+            if string.find('{').is_none() {
+                return Err(ParserError::lexer_unopened_escaped_unicode_char(string).into());
+            } else if string.find('}').is_none() {
                 return Err(ParserError::lexer_unclosed_escaped_unicode_char(string).into());
             }
 

leo/errors/src/parser/parser_errors.rs

@@ -366,4 +366,12 @@ create_errors!(
         msg: "A function received a self argument as not the first argument.",
         help: None,
     }
+
+    /// When a escaped unicode char was given but not opend.
+    @backtraced
+    lexer_unopened_escaped_unicode_char {
+        args: (input: impl Display),
+        msg: format!("There was no opening `{{` after starting an escaped unicode `{}`.", input),
+        help: None,
+    }
 );

tests/expectations/parser/parser/expression/literal/char_fail.leo.out

@@ -26,17 +26,19 @@ outputs:
   - "Error [EPAR0370026]: Expected a valid escape character but found `9`."
   - "Error [EPAR0370026]: Expected a valid escape character but found `*`."
   - "Error [EPAR0370035]: Could not lex the following escaped hex due to being given more than two chars: ``."
-  - "Error [EPAR0370026]: Expected a valid escape character but found `117`."
+  - "Error [EPAR0370026]: Expected a valid escape character but found `39`."
   - "Error [EPAR0370038]: The escaped unicode char `bbbbb}\\u{aaaa` is not within valid length of [1, 6]."
-  - "Error [EPAR0370026]: Expected a valid escape character but found `117`."
+  - "Error [EPAR0370026]: Expected a valid escape character but found `122`."
-  - "Error [EPAR0370026]: Expected a valid escape character but found `117`."
+  - "Error [EPAR0370026]: Expected a valid escape character but found `49`."
-  - "Error [EPAR0370026]: Expected a valid escape character but found `117`."
+  - "Error [EPAR0370026]: Expected a valid escape character but found `49`."
   - "Error [EPAR0370037]: There was no closing `}` after a escaped unicode `\\u{2764z`."
   - "Error [EPAR0370028]: Expected a closed char but found `\\u{276g}`."
-  - "Error [EPAR0370026]: Expected a valid escape character but found `117`."
+  - "Error [EPAR0370026]: Expected a valid escape character but found `48`."
-  - "Error [EPAR0370026]: Expected a valid escape character but found `117`."
+  - "Error [EPAR0370026]: Expected a valid escape character but found `48`."
-  - "Error [EPAR0370026]: Expected a valid escape character but found `117`."
+  - "Error [EPAR0370026]: Expected a valid escape character but found `57`."
   - "Error [EPAR0370039]: The escaped unicode char `110000` is greater than 0x10FFFF."
+  - "Error [EPAR0370026]: Expected a valid escape character but found `125`."
   - "Error [EPAR0370037]: There was no closing `}` after a escaped unicode `\\u{af🦀`."
-  - "Error [EPAR0370029]: Expected valid character but found `'🦀\\`."
+  - "Error [EPAR0370029]: Expected valid character but found `'🦀\\n`."
+  - "Error [EPAR0370029]: Expected valid character but found `'🦀1🦀`."
   - "Error [EPAR0370029]: Expected valid character but found `'😭😂`."

tests/expectations/parser/parser/expression/literal/char_parse.leo.out

@@ -1,565 +1,55 @@
 ---
-namespace: ParseExpression
+namespace: Token
 expectation: Pass
 outputs:
-  - Value:
+  - "'a' @ 1:1-4"
-      Char:
+  - "'Z' @ 1:1-4"
-        character:
+  - "'\"' @ 1:1-5"
-          Scalar: 97
+  - "'' @ 1:1-5"
-        span:
+  - "'' @ 1:1-5"
-          line_start: 1
+  - "'\u0000' @ 1:1-5"
-          line_stop: 1
+  - "'\u000f' @ 1:1-8"
-          col_start: 1
+  - "'' @ 1:1-6"
-          col_stop: 4
+  - "'å' @ 1:1-9"
-          path: ""
+  - "'å' @ 1:1-5"
-          content: "'a'"
+  - "'Ӡ' @ 1:1-10"
-  - Value:
+  - "'Ӡ' @ 1:1-5"
-      Char:
+  - "'❤' @ 1:1-11"
-        character:
+  - "'❤' @ 1:1-6"
-          Scalar: 90
+  - "'😢' @ 1:1-12"
-        span:
+  - "'😭' @ 1:1-7"
-          line_start: 1
+  - "'􀀟' @ 1:1-13"
-          line_stop: 1
+  - "'*' @ 1:1-7"
-          col_start: 1
+  - "'\u007f' @ 1:1-7"
-          col_stop: 4
+  - "'\u0000' @ 1:1-7"
-          path: ""
+  - "'\u0001' @ 1:1-7"
-          content: "'Z'"
+  - "'\u0002' @ 1:1-7"
-  - Value:
+  - "'\u0003' @ 1:1-7"
-      Char:
+  - "'\u0004' @ 1:1-7"
-        character:
+  - "'\u0005' @ 1:1-7"
-          Scalar: 34
+  - "'\u0006' @ 1:1-7"
-        span:
+  - "'\u0007' @ 1:1-7"
-          line_start: 1
+  - "'\u0010' @ 1:1-7"
-          line_stop: 1
+  - "'\u0011' @ 1:1-7"
-          col_start: 1
+  - "'\u0012' @ 1:1-7"
-          col_stop: 5
+  - "'\u0013' @ 1:1-7"
-          path: ""
+  - "'\u0014' @ 1:1-7"
-          content: "'\\\"'"
+  - "'\u0015' @ 1:1-7"
-  - Value:
+  - "'\u0016' @ 1:1-7"
-      Char:
+  - "'\u0017' @ 1:1-7"
-        character:
+  - "'' @ 1:1-7"
-          Scalar: 9
+  - "'!' @ 1:1-7"
-        span:
+  - "'\"' @ 1:1-7"
-          line_start: 1
+  - "'#' @ 1:1-7"
-          line_stop: 1
+  - "'$' @ 1:1-7"
-          col_start: 1
+  - "'%' @ 1:1-7"
-          col_stop: 5
+  - "'&' @ 1:1-7"
-          path: ""
+  - "''' @ 1:1-7"
-          content: "'\\t'"
+  - "'0' @ 1:1-7"
-  - Value:
+  - "'1' @ 1:1-7"
-      Char:
+  - "'2' @ 1:1-7"
-        character:
+  - "'3' @ 1:1-7"
-          Scalar: 13
+  - "'4' @ 1:1-7"
-        span:
+  - "'5' @ 1:1-7"
-          line_start: 1
+  - "'6' @ 1:1-7"
-          line_stop: 1
+  - "'7' @ 1:1-7"
-          col_start: 1
-          col_stop: 5
-          path: ""
-          content: "'\\r'"
-  - Value:
-      Char:
-        character:
-          Scalar: 0
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 5
-          path: ""
-          content: "'\\0'"
-  - Value:
-      Char:
-        character:
-          Scalar: 15
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 8
-          path: ""
-          content: "'\\u{F}'"
-  - Value:
-      Char:
-        character:
-          Scalar: 57359
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 6
-          path: ""
-          content: "''"
-  - Value:
-      Char:
-        character:
-          Scalar: 229
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 9
-          path: ""
-          content: "'\\u{E5}'"
-  - Value:
-      Char:
-        character:
-          Scalar: 229
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 5
-          path: ""
-          content: "'å'"
-  - Value:
-      Char:
-        character:
-          Scalar: 1248
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 10
-          path: ""
-          content: "'\\u{4e0}'"
-  - Value:
-      Char:
-        character:
-          Scalar: 1248
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 5
-          path: ""
-          content: "'Ӡ'"
-  - Value:
-      Char:
-        character:
-          Scalar: 10084
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 11
-          path: ""
-          content: "'\\u{2764}'"
-  - Value:
-      Char:
-        character:
-          Scalar: 10084
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 6
-          path: ""
-          content: "'❤'"
-  - Value:
-      Char:
-        character:
-          Scalar: 128546
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 12
-          path: ""
-          content: "'\\u{1F622}'"
-  - Value:
-      Char:
-        character:
-          Scalar: 128557
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'😭'"
-  - Value:
-      Char:
-        character:
-          Scalar: 1048607
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 13
-          path: ""
-          content: "'\\u{10001F}'"
-  - Value:
-      Char:
-        character:
-          Scalar: 42
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x2A'"
-  - Value:
-      Char:
-        character:
-          Scalar: 127
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x7f'"
-  - Value:
-      Char:
-        character:
-          Scalar: 0
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x00'"
-  - Value:
-      Char:
-        character:
-          Scalar: 1
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x01'"
-  - Value:
-      Char:
-        character:
-          Scalar: 2
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x02'"
-  - Value:
-      Char:
-        character:
-          Scalar: 3
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x03'"
-  - Value:
-      Char:
-        character:
-          Scalar: 4
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x04'"
-  - Value:
-      Char:
-        character:
-          Scalar: 5
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x05'"
-  - Value:
-      Char:
-        character:
-          Scalar: 6
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x06'"
-  - Value:
-      Char:
-        character:
-          Scalar: 7
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x07'"
-  - Value:
-      Char:
-        character:
-          Scalar: 16
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x10'"
-  - Value:
-      Char:
-        character:
-          Scalar: 17
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x11'"
-  - Value:
-      Char:
-        character:
-          Scalar: 18
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x12'"
-  - Value:
-      Char:
-        character:
-          Scalar: 19
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x13'"
-  - Value:
-      Char:
-        character:
-          Scalar: 20
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x14'"
-  - Value:
-      Char:
-        character:
-          Scalar: 21
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x15'"
-  - Value:
-      Char:
-        character:
-          Scalar: 22
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x16'"
-  - Value:
-      Char:
-        character:
-          Scalar: 23
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x17'"
-  - Value:
-      Char:
-        character:
-          Scalar: 32
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x20'"
-  - Value:
-      Char:
-        character:
-          Scalar: 33
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x21'"
-  - Value:
-      Char:
-        character:
-          Scalar: 34
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x22'"
-  - Value:
-      Char:
-        character:
-          Scalar: 35
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x23'"
-  - Value:
-      Char:
-        character:
-          Scalar: 36
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x24'"
-  - Value:
-      Char:
-        character:
-          Scalar: 37
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x25'"
-  - Value:
-      Char:
-        character:
-          Scalar: 38
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x26'"
-  - Value:
-      Char:
-        character:
-          Scalar: 39
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x27'"
-  - Value:
-      Char:
-        character:
-          Scalar: 48
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x30'"
-  - Value:
-      Char:
-        character:
-          Scalar: 49
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x31'"
-  - Value:
-      Char:
-        character:
-          Scalar: 50
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x32'"
-  - Value:
-      Char:
-        character:
-          Scalar: 51
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x33'"
-  - Value:
-      Char:
-        character:
-          Scalar: 52
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x34'"
-  - Value:
-      Char:
-        character:
-          Scalar: 53
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x35'"
-  - Value:
-      Char:
-        character:
-          Scalar: 54
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x36'"
-  - Value:
-      Char:
-        character:
-          Scalar: 55
-        span:
-          line_start: 1
-          line_stop: 1
-          col_start: 1
-          col_stop: 7
-          path: ""
-          content: "'\\x37'"

tests/expectations/parser/parser/expression/literal/string_fail.leo.out

@@ -9,3 +9,4 @@ outputs:
   - "Error [EPAR0370027]: Expected a closed string but found `\"\\u\"`."
   - "Error [EPAR0370036]: Expected a valid hex character but found `255`."
   - "Error [EPAR0370027]: Expected a closed string but found `\"\\x\"`."
+  - "Error [EPAR0370042]: There was no opening `{` after starting an escaped unicode `\\u}`."

tests/expectations/parser/parser/program/backslash_eof.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370032]: Could not lex the following content: `\\`."

tests/expectations/parser/parser/program/dollar_eof.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370032]: Could not lex the following content: `$`."

tests/expectations/parser/parser/program/escape_u8_eof.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370032]: Could not lex the following content: `\\1u8`."

tests/expectations/parser/parser/program/hex_eof.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370040]: A hex number `0x..` was provided but hex is not allowed."

tests/expectations/parser/parser/program/pipe_eof.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370032]: Could not lex the following content: `|`."

tests/expectations/parser/parser/program/q_eof.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370027]: Expected a closed string but found `\"`."

tests/expectations/parser/parser/program/sq_eof.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370028]: Expected a closed char but found `'`."

tests/expectations/parser/parser/program/tilde_eof.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370032]: Could not lex the following content: `~`."

tests/expectations/parser/parser/program/unclosed_unicode_eof_fail.leo.out

@@ -0,0 +1,5 @@
+---
+namespace: Parse
+expectation: Fail
+outputs:
+  - "Error [EPAR0370026]: Expected a valid escape character but found `117`."

tests/expectations/parser/parser/statement/hex_int_fail.leo.out

@@ -2,6 +2,6 @@
 namespace: ParseStatement
 expectation: Fail
 outputs:
-  - "Error [EPAR0370040]: A hex number `0x4..` was provided but hex is not allowed."
+  - "Error [EPAR0370040]: A hex number `0x..` was provided but hex is not allowed."
-  - "Error [EPAR0370040]: A hex number `0xA..` was provided but hex is not allowed."
+  - "Error [EPAR0370040]: A hex number `0x..` was provided but hex is not allowed."
-  - "Error [EPAR0370040]: A hex number `0xF..` was provided but hex is not allowed."
+  - "Error [EPAR0370040]: A hex number `0x..` was provided but hex is not allowed."

tests/expectations/parser/parser/unreachable/define.leo.out

@@ -3,3 +3,48 @@ namespace: ParseStatement
 expectation: Fail
 outputs:
   - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:1\n     |\n   1 | ; x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '.'\n    --> test:1:1\n     |\n   1 | . x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got 'import'\n    --> test:1:1\n     |\n   1 | import x = 10u8;\n     | ^^^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ','\n    --> test:1:1\n     |\n   1 | , x = 10u8;\n     | ^"
+  - "Error [EPAR0370005]: expected , -- got '='\n    --> test:1:5\n     |\n   1 | [ x = 10u8;\n     |     ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ']'\n    --> test:1:1\n     |\n   1 | ] x = 10u8;\n     | ^"
+  - "Error [EPAR0370003]: unexpected EOF\n    --> test:1:11\n     |\n   1 | { x = 10u8;\n     |           ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '}'\n    --> test:1:1\n     |\n   1 | } x = 10u8;\n     | ^"
+  - "Error [EPAR0370005]: expected ) -- got '='\n    --> test:1:5\n     |\n   1 | ( x = 10u8;\n     |     ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ')'\n    --> test:1:1\n     |\n   1 | ) x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ':'\n    --> test:1:1\n     |\n   1 | : x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '::'\n    --> test:1:1\n     |\n   1 | :: x = 10u8;\n     | ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '?'\n    --> test:1:1\n     |\n   1 | ? x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '_'\n    --> test:1:1\n     |\n   1 | _ x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '='\n    --> test:1:1\n     |\n   1 | = x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '=='\n    --> test:1:1\n     |\n   1 | == x = 10u8;\n     | ^^"
+  - "Error [EPAR0370011]: invalid assignment target\n    --> test:1:1\n     |\n   1 | ! x = 10u8;\n     | ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '!='\n    --> test:1:1\n     |\n   1 | != x = 10u8;\n     | ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '>'\n    --> test:1:1\n     |\n   1 | > x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '>='\n    --> test:1:1\n     |\n   1 | >= x = 10u8;\n     | ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '<'\n    --> test:1:1\n     |\n   1 | < x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '<='\n    --> test:1:1\n     |\n   1 | <= x = 10u8;\n     | ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '>'\n    --> test:1:1\n     |\n   1 | > x = 10u8;\n     | ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '..'\n    --> test:1:1\n     |\n   1 | .. x = 10u8;\n     | ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got 'as'\n    --> test:1:1\n     |\n   1 | as x = 10u8;\n     | ^^"
+  - "Error [EPAR0370005]: expected . -- got 'x'\n    --> test:1:9\n     |\n   1 | console x = 10u8;\n     |         ^"
+  - "Error [EPAR0370005]: expected in -- got '='\n    --> test:1:7\n     |\n   1 | for x = 10u8;\n     |       ^"
+  - "Error [EPAR0370005]: expected { -- got '='\n    --> test:1:6\n     |\n   1 | if x = 10u8;\n     |      ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got 'else'\n    --> test:1:1\n     |\n   1 | else x = 10u8;\n     | ^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:4\n     |\n   1 | i8 x = 10u8;\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:5\n     |\n   1 | i16 x = 10u8;\n     |     ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:5\n     |\n   1 | i32 x = 10u8;\n     |     ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:5\n     |\n   1 | i64 x = 10u8;\n     |     ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:6\n     |\n   1 | i128 x = 10u8;\n     |      ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:4\n     |\n   1 | u8 x = 10u8;\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:5\n     |\n   1 | u16 x = 10u8;\n     |     ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:5\n     |\n   1 | u32 x = 10u8;\n     |     ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:5\n     |\n   1 | u64 x = 10u8;\n     |     ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:6\n     |\n   1 | u128 x = 10u8;\n     |      ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '&'\n    --> test:1:1\n     |\n   1 | & x = 10u8;\n     | ^"
+  - "Error [EPAR0370005]: expected ; -- got '='\n    --> test:1:10\n     |\n   1 | return x = 10u8;\n     |          ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:6\n     |\n   1 | self x = 10u8;\n     |      ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:6\n     |\n   1 | Self x = 10u8;\n     |      ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:6\n     |\n   1 | true x = 10u8;\n     |      ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:7\n     |\n   1 | false x = 10u8;\n     |       ^"
+  - "Error [EPAR0370005]: expected ; -- got 'x'\n    --> test:1:3\n     |\n   1 | 0 x = 10u8;\n     |   ^"

tests/expectations/parser/parser/unreachable/eat_int.leo.out

@@ -3,3 +3,54 @@ namespace: ParseStatement
 expectation: Fail
 outputs:
   - "Error [EPAR0370009]: unexpected string: expected 'int or ident', got '-'\n    --> test:1:3\n     |\n   1 | x.-12\n     |   ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_;\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_.\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_import\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_,\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_*\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_+\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_-\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_/\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_[\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_]\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_{\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_}\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_(\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_)\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_:\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_::\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_?\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0__\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_=\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_==\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_!\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_!=\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_>\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_>=\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_<\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_<=\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_>\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_..\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_as\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_console\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_const\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_let\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_for\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_if\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_else\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_i8\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_i16\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_i32\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_i64\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_i128\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_u8\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_u16\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_u32\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_u64\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_u128\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_&\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_return\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_self\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_Self\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_true\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:4\n     |\n   1 | x.0_false\n     |    ^"

tests/expectations/parser/parser/unreachable/expect_ident.leo.out

@@ -3,3 +3,54 @@ namespace: ParseStatement
 expectation: Fail
 outputs:
   - "Error [EPAR0370009]: unexpected string: expected 'ident', got ';'\n    --> test:1:4\n     |\n   1 | x::;\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '.'\n    --> test:1:4\n     |\n   1 | x::.\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'import'\n    --> test:1:4\n     |\n   1 | x::import\n     |    ^^^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got ','\n    --> test:1:4\n     |\n   1 | x::,\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '*'\n    --> test:1:4\n     |\n   1 | x::*\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '+'\n    --> test:1:4\n     |\n   1 | x::+\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '-'\n    --> test:1:4\n     |\n   1 | x::-\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '/'\n    --> test:1:4\n     |\n   1 | x::/\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '['\n    --> test:1:4\n     |\n   1 | x::[\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got ']'\n    --> test:1:4\n     |\n   1 | x::]\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '{'\n    --> test:1:4\n     |\n   1 | x::{\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '}'\n    --> test:1:4\n     |\n   1 | x::}\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '('\n    --> test:1:4\n     |\n   1 | x::(\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got ')'\n    --> test:1:4\n     |\n   1 | x::)\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got ':'\n    --> test:1:4\n     |\n   1 | x:::\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '::'\n    --> test:1:4\n     |\n   1 | x::::\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '?'\n    --> test:1:4\n     |\n   1 | x::?\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '_'\n    --> test:1:4\n     |\n   1 | x::_\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '='\n    --> test:1:4\n     |\n   1 | x::=\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '=='\n    --> test:1:4\n     |\n   1 | x::==\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '!'\n    --> test:1:4\n     |\n   1 | x::!\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '!='\n    --> test:1:4\n     |\n   1 | x::!=\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '>'\n    --> test:1:4\n     |\n   1 | x::>\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '>='\n    --> test:1:4\n     |\n   1 | x::>=\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '<'\n    --> test:1:4\n     |\n   1 | x::<\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '<='\n    --> test:1:4\n     |\n   1 | x::<=\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '>'\n    --> test:1:4\n     |\n   1 | x::>\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '..'\n    --> test:1:4\n     |\n   1 | x::..\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'as'\n    --> test:1:4\n     |\n   1 | x::as\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'console'\n    --> test:1:4\n     |\n   1 | x::console\n     |    ^^^^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'const'\n    --> test:1:4\n     |\n   1 | x::const\n     |    ^^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'let'\n    --> test:1:4\n     |\n   1 | x::let\n     |    ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'for'\n    --> test:1:4\n     |\n   1 | x::for\n     |    ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'if'\n    --> test:1:4\n     |\n   1 | x::if\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'else'\n    --> test:1:4\n     |\n   1 | x::else\n     |    ^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'i8'\n    --> test:1:4\n     |\n   1 | x::i8\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'i16'\n    --> test:1:4\n     |\n   1 | x::i16\n     |    ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'i32'\n    --> test:1:4\n     |\n   1 | x::i32\n     |    ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'i64'\n    --> test:1:4\n     |\n   1 | x::i64\n     |    ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'i128'\n    --> test:1:4\n     |\n   1 | x::i128\n     |    ^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'u8'\n    --> test:1:4\n     |\n   1 | x::u8\n     |    ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'u16'\n    --> test:1:4\n     |\n   1 | x::u16\n     |    ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'u32'\n    --> test:1:4\n     |\n   1 | x::u32\n     |    ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'u64'\n    --> test:1:4\n     |\n   1 | x::u64\n     |    ^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'u128'\n    --> test:1:4\n     |\n   1 | x::u128\n     |    ^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '&'\n    --> test:1:4\n     |\n   1 | x::&\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'return'\n    --> test:1:4\n     |\n   1 | x::return\n     |    ^^^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'self'\n    --> test:1:4\n     |\n   1 | x::self\n     |    ^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'Self'\n    --> test:1:4\n     |\n   1 | x::Self\n     |    ^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'true'\n    --> test:1:4\n     |\n   1 | x::true\n     |    ^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got 'false'\n    --> test:1:4\n     |\n   1 | x::false\n     |    ^^^^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '0'\n    --> test:1:4\n     |\n   1 | x::0\n     |    ^"

tests/expectations/parser/parser/unreachable/math_op_fail.leo.out

@@ -0,0 +1,59 @@
+---
+namespace: ParseStatement
+expectation: Fail
+outputs:
+  - "did not consume all input: 'b' @ 1:13-14\n';' @ 1:14-15\n"
+  - "Error [EPAR0370005]: expected ; -- got 'import'\n    --> test:1:11\n     |\n   1 | let x = a import b;\n     |           ^^^^^^"
+  - "Error [EPAR0370005]: expected ; -- got ','\n    --> test:1:11\n     |\n   1 | let x = a , b;\n     |           ^"
+  - "Error [EPAR0370005]: expected ] -- got ';'\n    --> test:1:14\n     |\n   1 | let x = a [ b;\n     |              ^"
+  - "Error [EPAR0370005]: expected ; -- got ']'\n    --> test:1:11\n     |\n   1 | let x = a ] b;\n     |           ^"
+  - "Error [EPAR0370005]: expected } -- got ';'\n    --> test:1:14\n     |\n   1 | let x = a { b;\n     |              ^"
+  - "Error [EPAR0370005]: expected ; -- got '}'\n    --> test:1:11\n     |\n   1 | let x = a } b;\n     |           ^"
+  - "Error [EPAR0370005]: expected ) -- got ';'\n    --> test:1:14\n     |\n   1 | let x = a ( b;\n     |              ^"
+  - "Error [EPAR0370005]: expected ; -- got ')'\n    --> test:1:11\n     |\n   1 | let x = a ) b;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got ':'\n    --> test:1:11\n     |\n   1 | let x = a : b;\n     |           ^"
+  - "Error [EPAR0370005]: expected : -- got ';'\n    --> test:1:14\n     |\n   1 | let x = a ? b;\n     |              ^"
+  - "Error [EPAR0370005]: expected ; -- got '_'\n    --> test:1:11\n     |\n   1 | let x = a _ b;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got '='\n    --> test:1:11\n     |\n   1 | let x = a = b;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got '!'\n    --> test:1:11\n     |\n   1 | let x = a ! b;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got '..'\n    --> test:1:11\n     |\n   1 | let x = a .. b;\n     |           ^^"
+  - "Error [EPAR0370005]: expected ; -- got 'console'\n    --> test:1:11\n     |\n   1 | let x = a console b;\n     |           ^^^^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'const'\n    --> test:1:11\n     |\n   1 | let x = a const b;\n     |           ^^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'let'\n    --> test:1:11\n     |\n   1 | let x = a let b;\n     |           ^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'for'\n    --> test:1:11\n     |\n   1 | let x = a for b;\n     |           ^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'if'\n    --> test:1:11\n     |\n   1 | let x = a if b;\n     |           ^^"
+  - "Error [EPAR0370005]: expected ; -- got 'else'\n    --> test:1:11\n     |\n   1 | let x = a else b;\n     |           ^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'i8'\n    --> test:1:11\n     |\n   1 | let x = a i8 b;\n     |           ^^"
+  - "Error [EPAR0370005]: expected ; -- got 'i16'\n    --> test:1:11\n     |\n   1 | let x = a i16 b;\n     |           ^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'i32'\n    --> test:1:11\n     |\n   1 | let x = a i32 b;\n     |           ^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'i64'\n    --> test:1:11\n     |\n   1 | let x = a i64 b;\n     |           ^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'i128'\n    --> test:1:11\n     |\n   1 | let x = a i128 b;\n     |           ^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'u8'\n    --> test:1:11\n     |\n   1 | let x = a u8 b;\n     |           ^^"
+  - "Error [EPAR0370005]: expected ; -- got 'u16'\n    --> test:1:11\n     |\n   1 | let x = a u16 b;\n     |           ^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'u32'\n    --> test:1:11\n     |\n   1 | let x = a u32 b;\n     |           ^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'u64'\n    --> test:1:11\n     |\n   1 | let x = a u64 b;\n     |           ^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'u128'\n    --> test:1:11\n     |\n   1 | let x = a u128 b;\n     |           ^^^^"
+  - "Error [EPAR0370005]: expected ; -- got '&'\n    --> test:1:11\n     |\n   1 | let x = a & b;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got 'return'\n    --> test:1:11\n     |\n   1 | let x = a return b;\n     |           ^^^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'self'\n    --> test:1:11\n     |\n   1 | let x = a self b;\n     |           ^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'Self'\n    --> test:1:11\n     |\n   1 | let x = a Self b;\n     |           ^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'true'\n    --> test:1:11\n     |\n   1 | let x = a true b;\n     |           ^^^^"
+  - "Error [EPAR0370005]: expected ; -- got 'false'\n    --> test:1:11\n     |\n   1 | let x = a false b;\n     |           ^^^^^"
+  - "Error [EPAR0370005]: expected ; -- got '0'\n    --> test:1:11\n     |\n   1 | let x = a 0 b;\n     |           ^"
+  - "did not consume all input: '=' @ 1:3-4\n'b' @ 1:4-5\n';' @ 1:5-6\n"
+  - "Error [EPAR0370009]: unexpected string: expected 'int or ident', got '='\n    --> test:1:3\n     |\n   1 | x.=b;\n     |   ^"
+  - "Error [EPAR0370005]: expected ; -- got ','\n    --> test:1:2\n     |\n   1 | x,=b; // 43\n     |  ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '='\n    --> test:1:3\n     |\n   1 | x[=b;\n     |   ^"
+  - "Error [EPAR0370005]: expected ; -- got ']'\n    --> test:1:2\n     |\n   1 | x]=b;\n     |  ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got '='\n    --> test:1:3\n     |\n   1 | x{=b;\n     |   ^"
+  - "Error [EPAR0370005]: expected ; -- got '}'\n    --> test:1:2\n     |\n   1 | x}=b;\n     |  ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:4\n     |\n   1 | x=(;\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ')'\n    --> test:1:3\n     |\n   1 | x=);\n     |   ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ':'\n    --> test:1:3\n     |\n   1 | x=:;\n     |   ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '::'\n    --> test:1:3\n     |\n   1 | x=::;\n     |   ^^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '='\n    --> test:1:3\n     |\n   1 | x?=b;\n     |   ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '='\n    --> test:1:4\n     |\n   1 | x!==b;\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '='\n    --> test:1:4\n     |\n   1 | x>==b;\n     |    ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got '='\n    --> test:1:4\n     |\n   1 | x<==b;\n     |    ^"
+  - "Error [EPAR0370005]: expected ; -- got '..'\n    --> test:1:2\n     |\n   1 | x..=b;\n     |  ^^"
+  - "Error [EPAR0370005]: expected ; -- got '&'\n    --> test:1:2\n     |\n   1 | x&=b;\n     |  ^"

tests/expectations/parser/parser/unreachable/math_op_pass.leo.out

@@ -0,0 +1,988 @@
+---
+namespace: ParseStatement
+expectation: Pass
+outputs:
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a . b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a . b;
+      parened: false
+      type_: ~
+      value:
+        Access:
+          Member:
+            inner:
+              Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a . b;\\\"}\"}"
+            name: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":13,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a . b;\\\"}\"}"
+            span:
+              line_start: 1
+              line_stop: 1
+              col_start: 9
+              col_stop: 14
+              path: ""
+              content: let x = a . b;
+            type_: ~
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = a . b;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a :: b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: "let x = a :: b;"
+      parened: false
+      type_: ~
+      value:
+        Access:
+          Static:
+            inner:
+              Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a :: b;\\\"}\"}"
+            name: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":14,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a :: b;\\\"}\"}"
+            type_: ~
+            span:
+              line_start: 1
+              line_stop: 1
+              col_start: 9
+              col_stop: 15
+              path: ""
+              content: "let x = a :: b;"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 15
+        path: ""
+        content: "let x = a :: b;"
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a == b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a == b;
+      parened: false
+      type_: ~
+      value:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a == b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":14,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a == b;\\\"}\"}"
+          op: Eq
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 9
+            col_stop: 15
+            path: ""
+            content: let x = a == b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 15
+        path: ""
+        content: let x = a == b;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a != b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a != b;
+      parened: false
+      type_: ~
+      value:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a != b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":14,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a != b;\\\"}\"}"
+          op: Ne
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 9
+            col_stop: 15
+            path: ""
+            content: let x = a != b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 15
+        path: ""
+        content: let x = a != b;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a > b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a > b;
+      parened: false
+      type_: ~
+      value:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a > b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":13,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a > b;\\\"}\"}"
+          op: Gt
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 9
+            col_stop: 14
+            path: ""
+            content: let x = a > b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = a > b;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a >= b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a >= b;
+      parened: false
+      type_: ~
+      value:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a >= b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":14,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a >= b;\\\"}\"}"
+          op: Ge
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 9
+            col_stop: 15
+            path: ""
+            content: let x = a >= b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 15
+        path: ""
+        content: let x = a >= b;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a < b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a < b;
+      parened: false
+      type_: ~
+      value:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a < b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":13,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a < b;\\\"}\"}"
+          op: Lt
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 9
+            col_stop: 14
+            path: ""
+            content: let x = a < b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = a < b;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a <= b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a <= b;
+      parened: false
+      type_: ~
+      value:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a <= b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":14,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a <= b;\\\"}\"}"
+          op: Le
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 9
+            col_stop: 15
+            path: ""
+            content: let x = a <= b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 15
+        path: ""
+        content: let x = a <= b;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a > b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a > b;
+      parened: false
+      type_: ~
+      value:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a > b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":13,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a > b;\\\"}\"}"
+          op: Gt
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 9
+            col_stop: 14
+            path: ""
+            content: let x = a > b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = a > b;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a as b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a as b;
+      parened: false
+      type_: ~
+      value:
+        Cast:
+          inner:
+            Identifier: "{\"name\":\"a\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a as b;\\\"}\"}"
+          target_type:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":14,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a as b;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 9
+            col_stop: 15
+            path: ""
+            content: let x = a as b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 15
+        path: ""
+        content: let x = a as b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"ximport\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"ximport=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 8
+          path: ""
+          content: ximport=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"ximport=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 10
+        path: ""
+        content: ximport=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"x_\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":3,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x_=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 3
+          path: ""
+          content: x_=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":4,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x_=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 5
+        path: ""
+        content: x_=b;
+  - Expression:
+      expression:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":2,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x==b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":4,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x==b;\\\"}\"}"
+          op: Eq
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 1
+            col_stop: 5
+            path: ""
+            content: x==b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 5
+        path: ""
+        content: x==b;
+  - Expression:
+      expression:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":2,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x!=b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":4,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x!=b;\\\"}\"}"
+          op: Ne
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 1
+            col_stop: 5
+            path: ""
+            content: x!=b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 5
+        path: ""
+        content: x!=b;
+  - Expression:
+      expression:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":2,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x>=b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":4,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x>=b;\\\"}\"}"
+          op: Ge
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 1
+            col_stop: 5
+            path: ""
+            content: x>=b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 5
+        path: ""
+        content: x>=b;
+  - Expression:
+      expression:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":2,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x<=b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":4,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x<=b;\\\"}\"}"
+          op: Le
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 1
+            col_stop: 5
+            path: ""
+            content: x<=b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 5
+        path: ""
+        content: x<=b;
+  - Expression:
+      expression:
+        Binary:
+          left:
+            Identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":2,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x>=b;\\\"}\"}"
+          right:
+            Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":4,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x>=b;\\\"}\"}"
+          op: Ge
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 1
+            col_stop: 5
+            path: ""
+            content: x>=b;
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 5
+        path: ""
+        content: x>=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xas\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":4,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xas=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 4
+          path: ""
+          content: xas=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xas=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 6
+        path: ""
+        content: xas=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xconsole\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":9,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xconsole=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 9
+          path: ""
+          content: xconsole=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":10,\\\"col_stop\\\":11,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xconsole=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 11
+        path: ""
+        content: xconsole=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xconst\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xconst=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 7
+          path: ""
+          content: xconst=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":8,\\\"col_stop\\\":9,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xconst=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 9
+        path: ""
+        content: xconst=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xlet\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xlet=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 5
+          path: ""
+          content: xlet=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":6,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xlet=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 7
+        path: ""
+        content: xlet=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xfor\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xfor=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 5
+          path: ""
+          content: xfor=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":6,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xfor=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 7
+        path: ""
+        content: xfor=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xif\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":4,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xif=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 4
+          path: ""
+          content: xif=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xif=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 6
+        path: ""
+        content: xif=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xelse\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xelse=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 6
+          path: ""
+          content: xelse=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xelse=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 8
+        path: ""
+        content: xelse=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xi8\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":4,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi8=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 4
+          path: ""
+          content: xi8=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi8=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 6
+        path: ""
+        content: xi8=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xi16\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi16=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 5
+          path: ""
+          content: xi16=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":6,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi16=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 7
+        path: ""
+        content: xi16=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xi32\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi32=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 5
+          path: ""
+          content: xi32=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":6,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi32=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 7
+        path: ""
+        content: xi32=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xi64\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi64=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 5
+          path: ""
+          content: xi64=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":6,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi64=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 7
+        path: ""
+        content: xi64=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xi128\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi128=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 6
+          path: ""
+          content: xi128=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xi128=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 8
+        path: ""
+        content: xi128=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xu8\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":4,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu8=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 4
+          path: ""
+          content: xu8=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu8=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 6
+        path: ""
+        content: xu8=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xu16\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu16=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 5
+          path: ""
+          content: xu16=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":6,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu16=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 7
+        path: ""
+        content: xu16=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xu32\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu32=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 5
+          path: ""
+          content: xu32=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":6,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu32=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 7
+        path: ""
+        content: xu32=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xu64\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu64=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 5
+          path: ""
+          content: xu64=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":6,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu64=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 7
+        path: ""
+        content: xu64=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xu128\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu128=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 6
+          path: ""
+          content: xu128=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xu128=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 8
+        path: ""
+        content: xu128=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xreturn\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xreturn=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 8
+          path: ""
+          content: xreturn=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":10,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xreturn=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 10
+        path: ""
+        content: xreturn=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xself\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xself=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 6
+          path: ""
+          content: xself=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xself=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 8
+        path: ""
+        content: xself=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xSelf\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xSelf=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 6
+          path: ""
+          content: xSelf=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xSelf=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 8
+        path: ""
+        content: xSelf=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xtrue\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xtrue=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 6
+          path: ""
+          content: xtrue=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":7,\\\"col_stop\\\":8,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xtrue=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 8
+        path: ""
+        content: xtrue=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"xfalse\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":7,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xfalse=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 7
+          path: ""
+          content: xfalse=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":8,\\\"col_stop\\\":9,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"xfalse=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 9
+        path: ""
+        content: xfalse=b;
+  - Assign:
+      operation: Assign
+      assignee:
+        identifier: "{\"name\":\"x0\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":1,\\\"col_stop\\\":3,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x0=b;\\\"}\"}"
+        accesses: []
+        span:
+          line_start: 1
+          line_stop: 1
+          col_start: 1
+          col_stop: 3
+          path: ""
+          content: x0=b;
+      value:
+        Identifier: "{\"name\":\"b\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":4,\\\"col_stop\\\":5,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"x0=b;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 5
+        path: ""
+        content: x0=b;

tests/expectations/parser/parser/unreachable/postfix_fail.leo.out

@@ -0,0 +1,24 @@
+---
+namespace: ParseStatement
+expectation: Fail
+outputs:
+  - "did not consume all input: ';' @ 1:11-12\n"
+  - "Error [EPAR0370009]: unexpected string: expected 'int or ident', got ';'\n    --> test:1:11\n     |\n   1 | let x = a.;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got ','\n    --> test:1:10\n     |\n   1 | let x = a,;\n     |          ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:11\n     |\n   1 | let x = a[;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got ']'\n    --> test:1:10\n     |\n   1 | let x = a];\n     |          ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'ident', got ';'\n    --> test:1:11\n     |\n   1 | let x = a{;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got '}'\n    --> test:1:10\n     |\n   1 | let x = a};\n     |          ^"
+  - "Error [EPAR0370005]: expected ; -- got ')'\n    --> test:1:10\n     |\n   1 | let x = a);\n     |          ^"
+  - "Error [EPAR0370005]: expected ; -- got ':'\n    --> test:1:10\n     |\n   1 | let x = a:;\n     |          ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:11\n     |\n   1 | let x = a?;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got '='\n    --> test:1:10\n     |\n   1 | let x = a=;\n     |          ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:12\n     |\n   1 | let x = a==;\n     |            ^"
+  - "Error [EPAR0370005]: expected ; -- got '!'\n    --> test:1:10\n     |\n   1 | let x = a!;\n     |          ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:12\n     |\n   1 | let x = a!=;\n     |            ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:11\n     |\n   1 | let x = a>;\n     |           ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:12\n     |\n   1 | let x = a>=;\n     |            ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:11\n     |\n   1 | let x = a<;\n     |           ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:12\n     |\n   1 | let x = a<=;\n     |            ^"
+  - "Error [EPAR0370009]: unexpected string: expected 'expression', got ';'\n    --> test:1:11\n     |\n   1 | let x = a>;\n     |           ^"
+  - "Error [EPAR0370005]: expected ; -- got '..'\n    --> test:1:10\n     |\n   1 | let x = a..;\n     |          ^^"

tests/expectations/parser/parser/unreachable/postfix_pass.leo.out

@@ -0,0 +1,598 @@
+---
+namespace: ParseStatement
+expectation: Pass
+outputs:
+  - Expression:
+      expression:
+        Value:
+          Implicit:
+            - ""
+            - span:
+                line_start: 0
+                line_stop: 0
+                col_start: 0
+                col_stop: 0
+                path: ""
+                content: ""
+      span:
+        line_start: 0
+        line_stop: 0
+        col_start: 0
+        col_stop: 0
+        path: ""
+        content: ""
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aimport;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = aimport;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"aimport\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":16,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aimport;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 16
+        path: ""
+        content: let x = aimport;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a_;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a_;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"a_\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":11,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a_;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 11
+        path: ""
+        content: let x = a_;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aas;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = aas;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"aas\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":12,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aas;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 12
+        path: ""
+        content: let x = aas;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aconsole;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = aconsole;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"aconsole\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":17,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aconsole;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 17
+        path: ""
+        content: let x = aconsole;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aconst;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = aconst;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"aconst\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aconst;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 15
+        path: ""
+        content: let x = aconst;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = alet;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = alet;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"alet\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = alet;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 13
+        path: ""
+        content: let x = alet;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = afor;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = afor;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"afor\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = afor;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 13
+        path: ""
+        content: let x = afor;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aif;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = aif;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"aif\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":12,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aif;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 12
+        path: ""
+        content: let x = aif;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aelse;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = aelse;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"aelse\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aelse;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = aelse;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai8;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = ai8;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"ai8\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":12,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai8;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 12
+        path: ""
+        content: let x = ai8;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai16;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = ai16;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"ai16\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai16;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 13
+        path: ""
+        content: let x = ai16;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai32;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = ai32;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"ai32\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai32;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 13
+        path: ""
+        content: let x = ai32;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai64;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = ai64;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"ai64\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai64;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 13
+        path: ""
+        content: let x = ai64;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai128;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = ai128;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"ai128\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = ai128;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = ai128;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au8;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = au8;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"au8\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":12,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au8;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 12
+        path: ""
+        content: let x = au8;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au16;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = au16;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"au16\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au16;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 13
+        path: ""
+        content: let x = au16;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au32;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = au32;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"au32\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au32;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 13
+        path: ""
+        content: let x = au32;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au64;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = au64;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"au64\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":13,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au64;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 13
+        path: ""
+        content: let x = au64;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au128;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = au128;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"au128\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = au128;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = au128;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = areturn;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = areturn;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"areturn\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":16,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = areturn;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 16
+        path: ""
+        content: let x = areturn;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aself;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = aself;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"aself\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aself;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = aself;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aSelf;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = aSelf;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"aSelf\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = aSelf;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = aSelf;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = atrue;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = atrue;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"atrue\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":14,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = atrue;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 14
+        path: ""
+        content: let x = atrue;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = afalse;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = afalse;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"afalse\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":15,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = afalse;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 15
+        path: ""
+        content: let x = afalse;
+  - Definition:
+      declaration_type: Let
+      variable_names:
+        - mutable: true
+          identifier: "{\"name\":\"x\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":5,\\\"col_stop\\\":6,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a0;\\\"}\"}"
+          span:
+            line_start: 1
+            line_stop: 1
+            col_start: 5
+            col_stop: 6
+            path: ""
+            content: let x = a0;
+      parened: false
+      type_: ~
+      value:
+        Identifier: "{\"name\":\"a0\",\"span\":\"{\\\"line_start\\\":1,\\\"line_stop\\\":1,\\\"col_start\\\":9,\\\"col_stop\\\":11,\\\"path\\\":\\\"\\\",\\\"content\\\":\\\"let x = a0;\\\"}\"}"
+      span:
+        line_start: 1
+        line_stop: 1
+        col_start: 1
+        col_stop: 11
+        path: ""
+        content: let x = a0;

tests/parser/expression/literal/char_fail.leo

@@ -44,7 +44,9 @@ expectation: Fail
 '\u01000000'
 '\u9999999'
 '\u{110000}'
+'\u}'
+
 '\u{af🦀'
 '🦀\n'
-
+'🦀1🦀'
 '😭😂😘'

tests/parser/expression/literal/char_parse.leo

@@ -1,5 +1,5 @@
 /*
-namespace: ParseExpression
+namespace: Token
 expectation: Pass
 */
 

tests/parser/expression/literal/string_fail.leo

@@ -16,3 +16,5 @@ expectation: Fail
 "\xFF"
 
 "\x"
+
+"\u}"

tests/parser/program/backslash_eof.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main() {
+    let x = 1u8;
+}
+\

tests/parser/program/dollar_eof.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main() {
+    let x = 1u8;
+}
+$

tests/parser/program/escape_u8_eof.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main() {
+    let x = 1u8;
+}
+\1u8

tests/parser/program/hex_eof.leo

@@ -0,0 +1,6 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main() { let a = 0x

tests/parser/program/pipe_eof.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main() {
+    let x = 1u8;
+}
+|

tests/parser/program/q_eof.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main() {
+    let x = 1u8;
+}
+"

tests/parser/program/sq_eof.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main() {
+    let x = 1u8;
+}
+'

tests/parser/program/tilde_eof.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main() {
+    let x = 1u8;
+}
+~

tests/parser/program/unclosed_unicode_eof_fail.leo

@@ -0,0 +1,7 @@
+/*
+namespace: Parse
+expectation: Fail
+*/
+
+function main(s1: [char; 13], s2: [char; 4]) -> bool {
+    let d: char = '\u

tests/parser/statement/let_mut_recover.leo

@@ -1,9 +1,11 @@
 /*
-namespace: Parse
+namespace: ParseStatement
 expectation: Fail
 */
 
-function foo() {
+// recovery witness
-    let mut x = 0;
+
-    let mut y = 0; // recovery witness
+let mut x = 0;
-}
+
+let mut y = 0; 
+

tests/parser/unreachable/define.leo

@@ -4,50 +4,93 @@ expectation: Fail
 */
 
 ; x = 10u8;
+
 . x = 10u8;
+
 import x = 10u8;
+
 , x = 10u8;
+
 [ x = 10u8;
+
 ] x = 10u8;
+
 { x = 10u8;
+
 } x = 10u8;
+
 ( x = 10u8;
+
 ) x = 10u8;
+
 : x = 10u8;
+
 :: x = 10u8;
+
 ? x = 10u8;
+
 _ x = 10u8;
+
 = x = 10u8;
+
 == x = 10u8;
+
 ! x = 10u8;
+
 != x = 10u8;
+
 > x = 10u8;
+
 >= x = 10u8;
+
 < x = 10u8;
+
 <= x = 10u8;
+
 > x = 10u8;
+
 .. x = 10u8;
+
 as x = 10u8;
+
 console x = 10u8;
-const x = 10u8;
+
-let x = 10u8;
 for x = 10u8;
+
 if x = 10u8;
+
 else x = 10u8;
+
 i8 x = 10u8;
+
 i16 x = 10u8;
+
 i32 x = 10u8;
+
 i64 x = 10u8;
+
 i128 x = 10u8;
+
 u8 x = 10u8;
+
 u16 x = 10u8;
+
 u32 x = 10u8;
+
 u64 x = 10u8;
+
 u128 x = 10u8;
+
 & x = 10u8;
+
 return x = 10u8;
+
 self x = 10u8;
+
 Self x = 10u8;
+
 true x = 10u8;
+
 false x = 10u8;
-0 x = 10u8;
+
+0 x = 10u8;

tests/parser/unreachable/eat_ident.leo

@@ -4,54 +4,105 @@ expectation: Fail
 */
 
 circuit ;
+
 circuit .
+
 circuit import
+
 circuit ,
+
 circuit *
+
 circuit +
+
 circuit -
+
 circuit /
+
 circuit [
+
 circuit ]
+
 circuit {
+
 circuit }
+
 circuit (
+
 circuit )
+
 circuit :
+
 circuit ::
+
 circuit ?
+
 circuit _
+
 circuit =
+
 circuit ==
+
 circuit !
+
 circuit !=
+
 circuit >
+
 circuit >=
+
 circuit <
+
 circuit <=
+
 circuit >
+
 circuit ..
+
 circuit as
+
 circuit console
+
 circuit const
+
 circuit let
+
 circuit for
+
 circuit if
+
 circuit else
+
 circuit i8
+
 circuit i16
+
 circuit i32
+
 circuit i64
+
 circuit i128
+
 circuit u8
+
 circuit u16
+
 circuit u32
+
 circuit u64
+
 circuit u128
+
 circuit &
+
 circuit return
+
 circuit self
+
 circuit Self
+
 circuit true
+
 circuit false
+
 circuit 0

tests/parser/unreachable/eat_int.leo

@@ -4,54 +4,106 @@ expectation: Fail
 */
 
 x.-12
+
 x.0_;
+
 x.0_.
+
 x.0_import
+
 x.0_,
+
 x.0_*
+
 x.0_+
+
 x.0_-
+
 x.0_/
+
 x.0_[
+
 x.0_]
+
 x.0_{
+
 x.0_}
+
 x.0_(
+
 x.0_)
+
 x.0_:
+
 x.0_::
+
 x.0_?
+
 x.0__
+
 x.0_=
+
 x.0_==
+
 x.0_!
+
 x.0_!=
+
 x.0_>
+
 x.0_>=
+
 x.0_<
+
 x.0_<=
+
 x.0_>
+
 x.0_..
+
 x.0_as
+
 x.0_console
+
 x.0_const
+
 x.0_let
+
 x.0_for
+
 x.0_if
+
 x.0_else
+
 x.0_i8
+
 x.0_i16
+
 x.0_i32
+
 x.0_i64
+
 x.0_i128
+
 x.0_u8
+
 x.0_u16
+
 x.0_u32
+
 x.0_u64
+
 x.0_u128
+
 x.0_&
+
 x.0_return
+
 x.0_self
+
 x.0_Self
+
 x.0_true
+
 x.0_false
+

tests/parser/unreachable/expect_ident.leo

@@ -4,54 +4,105 @@ expectation: Fail
 */
 
 x::;
+
 x::.
+
 x::import
+
 x::,
+
 x::*
+
 x::+
+
 x::-
+
 x::/
+
 x::[
+
 x::]
+
 x::{
+
 x::}
+
 x::(
+
 x::)
+
 x:::
+
 x::::
+
 x::?
+
 x::_
+
 x::=
+
 x::==
+
 x::!
+
 x::!=
+
 x::>
+
 x::>=
+
 x::<
+
 x::<=
+
 x::>
+
 x::..
+
 x::as
+
 x::console
+
 x::const
+
 x::let
+
 x::for
+
 x::if
+
 x::else
+
 x::i8
+
 x::i16
+
 x::i32
+
 x::i64
+
 x::i128
+
 x::u8
+
 x::u16
+
 x::u32
+
 x::u64
+
 x::u128
+
 x::&
+
 x::return
+
 x::self
+
 x::Self
+
 x::true
+
 x::false
-x::0
+
+x::0

tests/parser/unreachable/math_op_fail.leo

@@ -4,99 +4,112 @@ expectation: Fail
 */
 
 let x = a ; b;
-let x = a . b;
+
 let x = a import b;
+
 let x = a , b;
+
 let x = a [ b;
+
 let x = a ] b;
+
 let x = a { b;
+
 let x = a } b;
+
 let x = a ( b;
+
 let x = a ) b;
+
 let x = a : b;
-let x = a :: b;
+
 let x = a ? b;
+
 let x = a _ b;
+
 let x = a = b;
-let x = a == b;
+
 let x = a ! b;
-let x = a != b;
+
-let x = a > b;
-let x = a >= b;
-let x = a < b;
-let x = a <= b;
-let x = a > b;
 let x = a .. b;
-let x = a as b;
+
 let x = a console b;
+
 let x = a const b;
+
 let x = a let b;
+
 let x = a for b;
+
 let x = a if b;
+
 let x = a else b;
+
 let x = a i8 b;
+
 let x = a i16 b;
+
 let x = a i32 b;
+
 let x = a i64 b;
+
 let x = a i128 b;
+
 let x = a u8 b;
+
 let x = a u16 b;
+
 let x = a u32 b;
+
 let x = a u64 b;
+
 let x = a u128 b;
+
 let x = a & b;
+
 let x = a return b;
+
 let x = a self b;
+
 let x = a Self b;
+
 let x = a true b;
+
 let x = a false b;
+
 let x = a 0 b;
 
+
 x;=b;
+
 x.=b;
-ximport=b;
+
-x,=b;
+x,=b; // 43
+
 x[=b;
+
 x]=b;
+
 x{=b;
+
 x}=b;
+
 x=(;
+
 x=);
+
 x=:;
+
 x=::;
+
 x?=b;
-x_=b;
+
-x==b;
-x==b;
-x!=b;
 x!==b;
-x>=b;
+
 x>==b;
-x<=b;
+
 x<==b;
-x>=b;
+
 x..=b;
-xas=b;
+
-xconsole=b;
-xconst=b;
-xlet=b;
-xfor=b;
-xif=b;
-xelse=b;
-xi8=b;
-xi16=b;
-xi32=b;
-xi64=b;
-xi128=b;
-xu8=b;
-xu16=b;
-xu32=b;
-xu64=b;
-xu128=b;
 x&=b;
-xreturn=b;
-xself=b;
-xSelf=b;
-xtrue=b;
-xfalse=b;
-x0=b;

tests/parser/unreachable/math_op_pass.leo

@@ -0,0 +1,84 @@
+/*
+namespace: ParseStatement
+expectation: Pass
+*/
+
+let x = a . b;
+
+let x = a :: b;
+
+let x = a == b;
+
+let x = a != b;
+
+let x = a > b;
+
+let x = a >= b;
+
+let x = a < b;
+
+let x = a <= b;
+
+let x = a > b;
+
+let x = a as b;
+
+ximport=b;
+
+x_=b;
+
+x==b;
+
+x!=b;
+
+x>=b;
+
+x<=b;
+
+x>=b;
+
+xas=b;
+
+xconsole=b;
+
+xconst=b;
+
+xlet=b;
+
+xfor=b;
+
+xif=b;
+
+xelse=b;
+
+xi8=b;
+
+xi16=b;
+
+xi32=b;
+
+xi64=b;
+
+xi128=b;
+
+xu8=b;
+
+xu16=b;
+
+xu32=b;
+
+xu64=b;
+
+xu128=b;
+
+xreturn=b;
+
+xself=b;
+
+xSelf=b;
+
+xtrue=b;
+
+xfalse=b;
+
+x0=b;

tests/parser/unreachable/postfix_fail.leo

@@ -0,0 +1,44 @@
+/*
+namespace: ParseStatement
+expectation: Fail
+*/
+
+let x = a;;
+
+let x = a.;
+
+let x = a,;
+
+let x = a[;
+
+let x = a];
+
+let x = a{;
+
+let x = a};
+
+let x = a);
+
+let x = a:;
+
+let x = a?;
+
+let x = a=;
+
+let x = a==;
+
+let x = a!;
+
+let x = a!=;
+
+let x = a>;
+
+let x = a>=;
+
+let x = a<;
+
+let x = a<=;
+
+let x = a>;
+
+let x = a..;

tests/parser/unreachable/postfix_pass.leo

@@ -1,51 +1,55 @@
 /*
 namespace: ParseStatement
-expectation: Fail
+expectation: Pass
 */
+// These ones do not hit the unreachable as they are treated as valid idents rather than postfix.
 
-let x = a;;
-let x = a.;
 let x = aimport;
-let x = a,;
+
-let x = a[;
-let x = a];
-let x = a{;
-let x = a};
-let x = a);
-let x = a:;
-let x = a?;
 let x = a_;
-let x = a=;
+
-let x = a==;
-let x = a!;
-let x = a!=;
-let x = a>;
-let x = a>=;
-let x = a<;
-let x = a<=;
-let x = a>;
-let x = a..;
 let x = aas;
+
 let x = aconsole;
+
 let x = aconst;
+
 let x = alet;
+
 let x = afor;
+
 let x = aif;
+
 let x = aelse;
+
 let x = ai8;
+
 let x = ai16;
+
 let x = ai32;
+
 let x = ai64;
+
 let x = ai128;
+
 let x = au8;
+
 let x = au16;
+
 let x = au32;
+
 let x = au64;
+
 let x = au128;
-let x = a&;
+
 let x = areturn;
+
 let x = aself;
+
 let x = aSelf;
+
 let x = atrue;
+
 let x = afalse;
-let x = a0;
+
+let x = a0;