diff --git a/wado-compiler/src/optimize/field_scalarize.rs b/wado-compiler/src/optimize/field_scalarize.rs
index 29eeef1a2..284e86f20 100644
--- a/wado-compiler/src/optimize/field_scalarize.rs
+++ b/wado-compiler/src/optimize/field_scalarize.rs
@@ -931,8 +931,22 @@ fn scalarize_loop(
     }
 
     // Step 5: Replace field accesses in the loop body, and insert write-back/re-read
-    // around function calls (only for fields the callee actually accesses)
-    replace_in_block(loop_body, &candidates, local_types, type_table, cache);
+    // around function calls (only for fields the callee actually accesses).
+    // Collect all labels defined within the loop body: breaks targeting these labels
+    // stay within the HFS scope and don't need write-back.
+    let inner_labels = {
+        let mut labels = IndexSet::default();
+        collect_inner_labels(loop_body, &mut labels);
+        labels
+    };
+    replace_in_block(
+        loop_body,
+        &candidates,
+        local_types,
+        type_table,
+        cache,
+        &inner_labels,
+    );
 
     ScalarizeResult {
         pre_stmts,
@@ -1311,6 +1325,135 @@ struct ReplaceCtx<'a> {
     local_types: &'a [TypeId],
     type_table: &'a TypeTable,
     cache: &'a FieldUsageCache,
+    inner_labels: &'a IndexSet<String>,
+}
+
+/// Collect all labels defined within a block (at any nesting depth).
+/// Used to determine whether a `break` targets an inner scope (no write-back
+/// needed) or escapes the current block (write-back needed).
+fn collect_inner_labels(block: &TirBlock, labels: &mut IndexSet<String>) {
+    for stmt in &block.stmts {
+        collect_inner_labels_in_stmt(stmt, labels);
+    }
+}
+
+fn collect_inner_labels_in_stmt(stmt: &TirStmt, labels: &mut IndexSet<String>) {
+    match &stmt.kind {
+        TirStmtKind::LabeledBlock { label, block } => {
+            labels.insert(label.clone());
+            collect_inner_labels(block, labels);
+        }
+        TirStmtKind::If {
+            then_block,
+            else_block,
+            ..
+        } => {
+            collect_inner_labels(then_block, labels);
+            if let Some(eb) = else_block {
+                collect_inner_labels(eb, labels);
+            }
+        }
+        TirStmtKind::IfLet {
+            then_block,
+            else_block,
+            ..
+        } => {
+            collect_inner_labels(then_block, labels);
+            if let Some(eb) = else_block {
+                collect_inner_labels(eb, labels);
+            }
+        }
+        TirStmtKind::Loop { body } => {
+            collect_inner_labels(body, labels);
+        }
+        TirStmtKind::Expr(expr) => {
+            collect_inner_labels_in_expr(expr, labels);
+        }
+        TirStmtKind::Let { value, .. } => {
+            collect_inner_labels_in_expr(value, labels);
+        }
+        _ => {}
+    }
+}
+
+fn collect_inner_labels_in_expr(expr: &TirExpr, labels: &mut IndexSet<String>) {
+    match &expr.kind {
+        TirExprKind::LabeledBlock { label, block, .. } => {
+            labels.insert(label.clone());
+            collect_inner_labels(block, labels);
+        }
+        TirExprKind::Cast { expr: inner, .. }
+        | TirExprKind::Unary { expr: inner, .. }
+        | TirExprKind::FieldAccess { expr: inner, .. } => {
+            collect_inner_labels_in_expr(inner, labels);
+        }
+        TirExprKind::Binary { left, right, .. }
+        | TirExprKind::Assign {
+            target: left,
+            value: right,
+        } => {
+            collect_inner_labels_in_expr(left, labels);
+            collect_inner_labels_in_expr(right, labels);
+        }
+        TirExprKind::Call { args, .. } => {
+            for arg in args {
+                collect_inner_labels_in_expr(&arg.expr, labels);
+            }
+        }
+        TirExprKind::MethodCall { receiver, args, .. } => {
+            collect_inner_labels_in_expr(receiver, labels);
+            for arg in args {
+                collect_inner_labels_in_expr(&arg.expr, labels);
+            }
+        }
+        TirExprKind::If {
+            condition,
+            then_branch,
+            else_branch,
+        } => {
+            collect_inner_labels_in_expr(condition, labels);
+            collect_inner_labels(then_branch, labels);
+            if let Some(eb) = else_branch {
+                collect_inner_labels(eb, labels);
+            }
+        }
+        TirExprKind::Block(block) => {
+            collect_inner_labels(block, labels);
+        }
+        TirExprKind::Index { expr: e, index } => {
+            collect_inner_labels_in_expr(e, labels);
+            collect_inner_labels_in_expr(index, labels);
+        }
+        TirExprKind::StructLiteral { fields, .. } => {
+            for field in fields {
+                collect_inner_labels_in_expr(&field.value, labels);
+            }
+        }
+        TirExprKind::TupleLiteral { elements } => {
+            for elem in elements {
+                collect_inner_labels_in_expr(elem, labels);
+            }
+        }
+        TirExprKind::Switch {
+            scrutinee,
+            arms,
+            default,
+            ..
+        } => {
+            collect_inner_labels_in_expr(scrutinee, labels);
+            for arm in arms {
+                collect_inner_labels(arm, labels);
+            }
+            collect_inner_labels(default, labels);
+        }
+        TirExprKind::Match { expr: e, arms } => {
+            collect_inner_labels_in_expr(e, labels);
+            for arm in arms {
+                collect_inner_labels_in_expr(&arm.body, labels);
+            }
+        }
+        _ => {}
+    }
 }
 
 fn replace_in_block(
@@ -1319,11 +1462,13 @@ fn replace_in_block(
     local_types: &[TypeId],
     type_table: &TypeTable,
     cache: &FieldUsageCache,
+    inner_labels: &IndexSet<String>,
 ) {
     let ctx = ReplaceCtx {
         local_types,
         type_table,
         cache,
+        inner_labels,
     };
     let span = crate::token::Span::new(0, 0, 0, 0);
     let mut new_stmts = Vec::new();
@@ -1361,9 +1506,16 @@ fn replace_in_block(
                     }
                 }
                 replace_in_expr(condition, candidates, &ctx);
-                replace_in_block(then_block, candidates, local_types, type_table, cache);
+                replace_in_block(
+                    then_block,
+                    candidates,
+                    local_types,
+                    type_table,
+                    cache,
+                    inner_labels,
+                );
                 if let Some(eb) = else_block {
-                    replace_in_block(eb, candidates, local_types, type_table, cache);
+                    replace_in_block(eb, candidates, local_types, type_table, cache, inner_labels);
                 }
                 new_stmts.push(stmt);
                 for c in candidates {
@@ -1400,9 +1552,16 @@ fn replace_in_block(
                     }
                 }
                 replace_in_expr(scrutinee, candidates, &ctx);
-                replace_in_block(then_block, candidates, local_types, type_table, cache);
+                replace_in_block(
+                    then_block,
+                    candidates,
+                    local_types,
+                    type_table,
+                    cache,
+                    inner_labels,
+                );
                 if let Some(eb) = else_block {
-                    replace_in_block(eb, candidates, local_types, type_table, cache);
+                    replace_in_block(eb, candidates, local_types, type_table, cache, inner_labels);
                 }
                 new_stmts.push(stmt);
                 for c in candidates {
@@ -1413,12 +1572,26 @@ fn replace_in_block(
                 continue;
             }
             TirStmtKind::Loop { body } => {
-                replace_in_block(body, candidates, local_types, type_table, cache);
+                replace_in_block(
+                    body,
+                    candidates,
+                    local_types,
+                    type_table,
+                    cache,
+                    inner_labels,
+                );
                 new_stmts.push(stmt);
                 continue;
             }
             TirStmtKind::LabeledBlock { block: inner, .. } => {
-                replace_in_block(inner, candidates, local_types, type_table, cache);
+                replace_in_block(
+                    inner,
+                    candidates,
+                    local_types,
+                    type_table,
+                    cache,
+                    inner_labels,
+                );
                 new_stmts.push(stmt);
                 continue;
             }
@@ -1436,9 +1609,23 @@ fn replace_in_block(
                 {
                     replace_in_expr(scrutinee, candidates, &ctx);
                     for arm in arms {
-                        replace_in_block(arm, candidates, local_types, type_table, cache);
+                        replace_in_block(
+                            arm,
+                            candidates,
+                            local_types,
+                            type_table,
+                            cache,
+                            inner_labels,
+                        );
                     }
-                    replace_in_block(default, candidates, local_types, type_table, cache);
+                    replace_in_block(
+                        default,
+                        candidates,
+                        local_types,
+                        type_table,
+                        cache,
+                        inner_labels,
+                    );
                 }
                 new_stmts.push(stmt);
                 continue;
@@ -1446,15 +1633,14 @@ fn replace_in_block(
             _ => {}
         }
 
-        // Insert write-back before return/break statements, since they exit the
-        // current scope and would skip the post-loop write-back.
-        //
-        // `break <label>` in a for-loop desugars to a labeled block exit that
-        // skips post-loop write-back statements placed inside the labeled block.
-        if matches!(
-            stmt.kind,
-            TirStmtKind::Return { .. } | TirStmtKind::Break { .. }
-        ) {
+        // Insert write-back before return/break statements that escape this
+        // block's scope. Breaks targeting labels defined *within* this block
+        // stay in scope (the block's own exit handles write-back), so they
+        // are excluded.
+        if matches!(stmt.kind, TirStmtKind::Return { .. })
+            || matches!(&stmt.kind, TirStmtKind::Break { label, .. }
+                if !label.as_ref().is_some_and(|l| inner_labels.contains(l.as_str())))
+        {
             replace_in_stmt(&mut stmt, candidates, &ctx);
             new_stmts.extend(make_write_back_stmts(candidates, span));
             new_stmts.push(stmt);
@@ -2157,6 +2343,7 @@ fn replace_in_expr(expr: &mut TirExpr, candidates: &[ScalarizeCandidate], ctx: &
                 ctx.local_types,
                 ctx.type_table,
                 ctx.cache,
+                ctx.inner_labels,
             );
         }
         TirExprKind::GlobalVarSet { value, .. } => {
diff --git a/wado-compiler/tests/fixtures.golden/base64_decode.wir.wado b/wado-compiler/tests/fixtures.golden/base64_decode.wir.wado
index 0acb106a0..8de067a1d 100644
--- a/wado-compiler/tests/fixtures.golden/base64_decode.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/base64_decode.wir.wado
@@ -1421,13 +1421,11 @@ fn StrUtf8ByteIter^Iterator::collect(self) {
                 if _hfs_index_13 >= _licm_used_11 {
                     self.index = _hfs_index_13;
                     break b122;
-                    self.index = _hfs_index_13;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_3;
                 };
                 byte = builtin::array_get_u8(_licm_repr_12, _hfs_index_13);
                 _hfs_index_13 = _hfs_index_13 + 1;
                 Array<u8>::push(result, byte);
-                self.index = _hfs_index_13;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_3;
             };
             continue l123;
diff --git a/wado-compiler/tests/fixtures.golden/base64_encode.wir.wado b/wado-compiler/tests/fixtures.golden/base64_encode.wir.wado
index 277fb1622..ccde075c7 100644
--- a/wado-compiler/tests/fixtures.golden/base64_encode.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/base64_encode.wir.wado
@@ -1099,13 +1099,11 @@ fn StrUtf8ByteIter^Iterator::collect(self) {
                 if _hfs_index_13 >= _licm_used_11 {
                     self.index = _hfs_index_13;
                     break b63;
-                    self.index = _hfs_index_13;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_3;
                 };
                 byte = builtin::array_get_u8(_licm_repr_12, _hfs_index_13);
                 _hfs_index_13 = _hfs_index_13 + 1;
                 Array<u8>::push(result, byte);
-                self.index = _hfs_index_13;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_3;
             };
             continue l64;
diff --git a/wado-compiler/tests/fixtures.golden/hfs_inline_break_no_writeback.wir.wado b/wado-compiler/tests/fixtures.golden/hfs_inline_break_no_writeback.wir.wado
new file mode 100644
index 000000000..0b768607e
--- /dev/null
+++ b/wado-compiler/tests/fixtures.golden/hfs_inline_break_no_writeback.wir.wado
@@ -0,0 +1,525 @@
+// Golden file: WIR with -O2 optimization
+// Source: wado-compiler/tests/fixtures/hfs_inline_break_no_writeback.wado
+// Generated by: mise run update-golden-fixtures
+
+array array<u8> (mut u8);
+
+struct String {
+    mut repr: ref array<u8>,
+    mut used: i32,
+}
+
+struct Formatter {
+    mut fill: char,
+    mut align: i32,
+    mut sign_plus: bool,
+    mut zero_pad: bool,
+    mut width: i32,
+    mut precision: i32,
+    mut indent: i32,
+    mut buf: ref String,
+}
+
+struct Scanner {
+    mut data: ref String,
+    mut pos: i32,
+}
+
+enum Alignment { Left = 0, Center = 1, Right = 2 };
+
+type "functype/mem/realloc" = fn(i32, i32, i32, i32) -> i32;
+
+type "functype/wasi/stream-write" = fn(i32, i32, i32) -> i32;
+
+type "functype/wasi/task-return" = fn(i32);
+
+type "functype/wasi/waitable-join" = fn(i32, i32);
+
+type "functype/wasi/waitable-set-drop" = fn(i32);
+
+type "functype/wasi/waitable-set-new" = fn() -> i32;
+
+type "functype/wasi/waitable-set-wait" = fn(i32, i32) -> i32;
+
+type "functype/wasi/wasi:cli/Stdout::write_via_stream" = fn(i32) -> i32;
+
+type "functype/run" = fn();
+
+type "functype/__cm_binding__Stdout_write_via_stream" = fn(i32) -> i32;
+
+type "functype/__cm_export__run" = fn();
+
+type "functype/core:cli/write_to_stream" = fn(i32, ref String, bool);
+
+type "functype/core:cli/println" = fn(ref String);
+
+type "functype/core:internal/gc_array_to_memory" = fn(ref array<u8>, i32, i32);
+
+type "functype/core:internal/cm_lower_list_u8" = fn(ref array<u8>, i32) -> i64;
+
+type "functype/core:internal/wait_for_blocked" = fn(i32) -> i32;
+
+type "functype/core:internal/cm_stream_write_raw_u8" = fn(i32, ref array<u8>, i32);
+
+type "functype/count_digits_i64" = fn(i64) -> i32;
+
+type "functype/write_decimal_digits" = fn(ref array<u8>, i32, i64, i32);
+
+type "functype/String::grow" = fn(ref String, i32);
+
+type "functype/String::internal_reserve_uninit" = fn(ref String, i32) -> i32;
+
+type "functype/String::push_str" = fn(ref String, ref String);
+
+type "functype/String::push" = fn(ref String, char);
+
+type "functype/Scanner::peek" = fn(ref Scanner) -> i32;
+
+type "functype/Scanner::skip_spaces" = fn(ref Scanner);
+
+type "functype/Formatter::write_char_n" = fn(ref Formatter, char, i32);
+
+type "functype/Formatter::prepare_int_write" = fn(ref Formatter, bool, ref String, i32) -> i32;
+
+type "functype/wasi/stream-drop-writable" = fn(i32);
+
+type "functype/wasi/stream-new" = fn() -> i64;
+
+type "functype/wasi/future-drop-readable:transmission-cli" = fn(i32);
+
+type "functype/i32::fmt_decimal" = fn(i32, ref Formatter);
+
+import fn realloc from "mem/realloc";
+import fn stream-write from "wasi/stream-write";
+import fn task-return from "wasi/task-return";
+import fn waitable-join from "wasi/waitable-join";
+import fn waitable-set-drop from "wasi/waitable-set-drop";
+import fn waitable-set-new from "wasi/waitable-set-new";
+import fn waitable-set-wait from "wasi/waitable-set-wait";
+import fn wasi:cli/Stdout::write_via_stream from "wasi/wasi:cli/Stdout::write_via_stream";
+import memory (1) from "mem/memory";
+import fn stream-drop-writable from "wasi/stream-drop-writable";
+import fn stream-new from "wasi/stream-new";
+import fn future-drop-readable:transmission-cli from "wasi/future-drop-readable:transmission-cli";
+
+fn run() with Stdout {
+    let s: ref Scanner;
+    let count: i32;
+    let __local_2: ref String;
+    let __local_3: ref Formatter;
+    let __local_5: ref String;
+    s = Scanner { data: String { repr: array.new_data<u8>("  a  b  c  "), used: 11 }, pos: 0 };
+    count = 0;
+    b0: block {
+        l1: loop {
+            if (s.pos < __inline_String__len_2: block -> i32 {
+                __local_5 = s.data;
+                break __inline_String__len_2: __local_5.used;
+            }) == 0 {
+                break b0;
+            };
+            Scanner::skip_spaces(s);
+            if Scanner::peek(s) >= 0 {
+                count = count + 1;
+                s.pos = s.pos + 1;
+            };
+            continue l1;
+        };
+    };
+    "core:cli/println"(__tmpl: block -> ref String {
+        __local_2 = String { repr: builtin::array_new<u8>(16), used: 0 };
+        __local_3 = Formatter { fill: 32, align: 2, sign_plus: 0, zero_pad: 0, width: -1, precision: -1, indent: 0, buf: __local_2 };
+        i32::fmt_decimal(count, __local_3);
+        break __tmpl: __local_2;
+    });
+}
+
+fn __cm_binding__Stdout_write_via_stream(data) {
+    return "wasi/wasi:cli/Stdout::write_via_stream"(data);
+}
+
+fn __cm_export__run() {
+    run();
+    "wasi/task-return"(0);
+}
+
+fn "core:cli/write_to_stream"(tx, message, add_newline) {  // from core:cli
+    let bytes: ref array<u8>;
+    let len: i32;
+    let new_repr: ref array<u8>;
+    bytes = message.repr;
+    len = message.used;
+    if add_newline {
+        new_repr = builtin::array_new<u8>(len + 1);
+        builtin::array_copy<u8>(new_repr, 0, bytes, 0, len);
+        builtin::array_set_u8(new_repr, len, 10);
+        "core:internal/cm_stream_write_raw_u8"(tx, new_repr, len + 1);
+    } else {
+        "core:internal/cm_stream_write_raw_u8"(tx, bytes, len);
+    };
+    "wasi/stream-drop-writable"(tx);
+}
+
+fn "core:cli/println"(message) with Stdout {  // from core:cli
+    let rx: i32;
+    let tx: i32;
+    let handle: i32;
+    let future: i32;
+    let __pair_temp_1: i64;
+    __pair_temp_1 = "wasi/stream-new"();
+    rx = builtin::i32_wrap_i64(__pair_temp_1);
+    tx = builtin::i32_wrap_i64(__pair_temp_1 >>u 32_i64);
+    handle = __cm_binding__Stdout_write_via_stream(rx);
+    "core:cli/write_to_stream"(tx, message, 1);
+    future = handle;
+    "wasi/future-drop-readable:transmission-cli"(future);
+}
+
+fn "core:internal/gc_array_to_memory"(arr, ptr, len) {  // from core:internal
+    let i: i32;
+    __for_1: block {
+        i = 0;
+        block {
+            l6: loop {
+                if (i < len) == 0 {
+                    break __for_1;
+                };
+                builtin::store_u8(ptr + i, builtin::array_get_u8(arr, i));
+                i = i + 1;
+                continue l6;
+            };
+        };
+    };
+}
+
+fn "core:internal/cm_lower_list_u8"(data, len) {  // from core:internal
+    let ptr: i32;
+    ptr = "mem/realloc"(0, 0, 1, len);
+    "core:internal/gc_array_to_memory"(data, ptr, len);
+    return builtin::i64_extend_i32_s(ptr) | (builtin::i64_extend_i32_s(len) << 32_i64);
+}
+
+fn "core:internal/wait_for_blocked"(handle) {  // from core:internal
+    let ws: i32;
+    let evt_ptr: i32;
+    let payload: i32;
+    ws = "wasi/waitable-set-new"();
+    "wasi/waitable-join"(handle, ws);
+    evt_ptr = "mem/realloc"(0, 0, 4, 8);
+    drop("wasi/waitable-set-wait"(ws, evt_ptr));
+    payload = builtin::load_i32(evt_ptr + 4);
+    drop("mem/realloc"(evt_ptr, 8, 4, 0));
+    "wasi/waitable-set-drop"(ws);
+    return payload;
+}
+
+fn "core:internal/cm_stream_write_raw_u8"(handle, data, len) {  // from core:internal
+    let packed: i64;
+    let ptr: i32;
+    let raw_len: i32;
+    let result: i32;
+    packed = "core:internal/cm_lower_list_u8"(data, len);
+    ptr = builtin::i32_wrap_i64(packed);
+    raw_len = builtin::i32_wrap_i64(packed >> 32_i64);
+    result = "wasi/stream-write"(handle, ptr, raw_len);
+    if result == -1 {
+        drop("core:internal/wait_for_blocked"(handle));
+    };
+    drop("mem/realloc"(ptr, raw_len, 1, 0));
+}
+
+fn count_digits_i64(val) {
+    let n: i32;
+    let t: i64;
+    if val == 0_i64 {
+        return 1;
+    };
+    n = 0;
+    __for_1: block {
+        t = val;
+        block {
+            l11: loop {
+                if (t > 0_i64) == 0 {
+                    break __for_1;
+                };
+                n = n + 1;
+                t = t / 10_i64;
+                continue l11;
+            };
+        };
+    };
+    return n;
+}
+
+fn write_decimal_digits(arr, offset, abs_val, digit_count) {
+    let pos: i32;
+    let temp: i64;
+    pos = offset + digit_count;
+    if abs_val == 0_i64 {
+        builtin::array_set_u8(arr, offset, 48);
+    } else {
+        __for_2: block {
+            temp = abs_val;
+            block {
+                l15: loop {
+                    if (temp > 0_i64) == 0 {
+                        break __for_2;
+                    };
+                    pos = pos - 1;
+                    builtin::array_set_u8(arr, pos, (48 + builtin::i32_wrap_i64(temp % 10_i64)) & 255);
+                    temp = temp / 10_i64;
+                    continue l15;
+                };
+            };
+        };
+    };
+}
+
+fn i32::fmt_decimal(self, f) {
+    let is_negative: bool;
+    let abs_val: i64;
+    let digit_count: i32;
+    let offset: i32;
+    let __local_6: ref String;
+    is_negative = self < 0;
+    abs_val = if is_negative -> i64 {
+        0_i64 - builtin::i64_extend_i32_s(self);
+    } else {
+        builtin::i64_extend_i32_s(self);
+    };
+    digit_count = count_digits_i64(abs_val);
+    offset = Formatter::prepare_int_write(f, is_negative, String { repr: builtin::array_new<u8>(0), used: 0 }, digit_count);
+    write_decimal_digits(__inline_String__internal_raw_bytes_0: block -> ref array<u8> {
+        __local_6 = f.buf;
+        break __inline_String__internal_raw_bytes_0: __local_6.repr;
+    }, offset, abs_val, digit_count);
+}
+
+fn String::grow(self, min_capacity) {
+    let capacity: i32;
+    let new_capacity: i32;
+    let new_repr: ref array<u8>;
+    let __local_5: i32;
+    let __local_7: i32;
+    capacity = builtin::array_len(self.repr);
+    if min_capacity <= capacity {
+        return;
+    };
+    new_capacity = __inline_i32_max_0: block -> i32 {
+        __local_5 = __inline_i32_max_1: block -> i32 {
+            __local_7 = capacity * 2;
+            break __inline_i32_max_1: select i32(__local_7 > min_capacity, __local_7, min_capacity);
+        };
+        break __inline_i32_max_0: select i32(__local_5 > 8, __local_5, 8);
+    };
+    new_repr = builtin::array_new<u8>(new_capacity);
+    builtin::array_copy<u8>(new_repr, 0, self.repr, 0, self.used);
+    self.repr = new_repr;
+}
+
+fn String::internal_reserve_uninit(self, n) {
+    let new_used: i32;
+    let start: i32;
+    new_used = self.used + n;
+    if builtin::unlikely(new_used > builtin::array_len(self.repr)) {
+        String::grow(self, new_used);
+    };
+    start = self.used;
+    self.used = new_used;
+    return start;
+}
+
+fn String::push_str(self, other) {
+    let other_len: i32;
+    let new_used: i32;
+    other_len = other.used;
+    if other_len == 0 {
+        return;
+    };
+    new_used = self.used + other_len;
+    if builtin::unlikely(new_used > builtin::array_len(self.repr)) {
+        String::grow(self, new_used);
+    };
+    builtin::array_copy<u8>(self.repr, self.used, other.repr, 0, other_len);
+    self.used = new_used;
+}
+
+fn String::push(self, c) {
+    let code: u32;
+    code = c;
+    if builtin::unlikely((self.used + 4) > builtin::array_len(self.repr)) {
+        String::grow(self, self.used + 4);
+    };
+    if code <u 128 {
+        builtin::array_set_u8(self.repr, self.used, code & 255);
+        self.used = self.used + 1;
+    } else if code <u 2048 {
+        builtin::array_set_u8(self.repr, self.used, (192 | (code >>u 6)) & 255);
+        builtin::array_set_u8(self.repr, self.used + 1, (128 | (code & 63)) & 255);
+        self.used = self.used + 2;
+    } else if code <u 65536 {
+        builtin::array_set_u8(self.repr, self.used, (224 | (code >>u 12)) & 255);
+        builtin::array_set_u8(self.repr, self.used + 1, (128 | ((code >>u 6) & 63)) & 255);
+        builtin::array_set_u8(self.repr, self.used + 2, (128 | (code & 63)) & 255);
+        self.used = self.used + 3;
+    } else {
+        builtin::array_set_u8(self.repr, self.used, (240 | (code >>u 18)) & 255);
+        builtin::array_set_u8(self.repr, self.used + 1, (128 | ((code >>u 12) & 63)) & 255);
+        builtin::array_set_u8(self.repr, self.used + 2, (128 | ((code >>u 6) & 63)) & 255);
+        builtin::array_set_u8(self.repr, self.used + 3, (128 | (code & 63)) & 255);
+        self.used = self.used + 4;
+    };
+}
+
+fn Scanner::peek(self) {
+    let __local_1: ref String;
+    let __local_2: ref String;
+    let __local_3: i32;
+    if self.pos >= __inline_String__len_0: block -> i32 {
+        __local_1 = self.data;
+        break __inline_String__len_0: __local_1.used;
+    } {
+        return -1;
+    };
+    return __inline_String__get_byte_1: block -> u8 {
+        __local_2 = self.data;
+        __local_3 = self.pos;
+        break __inline_String__get_byte_1: builtin::array_get_u8(__local_2.repr, __local_3);
+    };
+}
+
+fn Scanner::skip_spaces(self) {
+    let b: i32;
+    let __local_4: i32;
+    let _licm_data_5: ref String;
+    let _licm_used_6: i32;
+    let _licm_repr_7: ref array<u8>;
+    let _hfs_pos_8: i32;
+    _licm_data_5 = self.data;
+    _licm_used_6 = _licm_data_5.used;
+    _licm_repr_7 = _licm_data_5.repr;
+    _hfs_pos_8 = self.pos;
+    b27: block {
+        l28: loop {
+            if (_hfs_pos_8 < _licm_used_6) == 0 {
+                self.pos = _hfs_pos_8;
+                break b27;
+            };
+            b = __inline_String__get_byte_1: block -> u8 {
+                __local_4 = _hfs_pos_8;
+                break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
+            };
+            if b == 32 {
+                _hfs_pos_8 = _hfs_pos_8 + 1;
+            } else {
+                self.pos = _hfs_pos_8;
+                return;
+            };
+            continue l28;
+        };
+    };
+    self.pos = _hfs_pos_8;
+}
+
+fn Formatter::write_char_n(self, c, n) {
+    let i: i32;
+    let _licm_buf_4: ref String;
+    __for_0: block {
+        i = 0;
+        _licm_buf_4 = self.buf;
+        block {
+            l32: loop {
+                if (i < n) == 0 {
+                    break __for_0;
+                };
+                String::push(_licm_buf_4, c);
+                i = i + 1;
+                continue l32;
+            };
+        };
+    };
+}
+
+fn Formatter::prepare_int_write(self, is_negative, prefix, digit_count) {
+    let sign: ref String;
+    let sign_len: i32;
+    let prefix_len: i32;
+    let content_len: i32;
+    let padding: i32;
+    let align: enum:Alignment;
+    let offset_10: i32;
+    let left_pad: i32;
+    let right_pad: i32;
+    let offset_13: i32;
+    sign = String { repr: builtin::array_new<u8>(0), used: 0 };
+    if is_negative {
+        sign = String { repr: array.new_data<u8>("-"), used: 1 };
+    } else if self.sign_plus {
+        sign = String { repr: array.new_data<u8>("+"), used: 1 };
+    };
+    sign_len = sign.used;
+    prefix_len = prefix.used;
+    content_len = (sign_len + prefix_len) + digit_count;
+    if if self.width <= 0 -> i32 {
+        1;
+    } else {
+        content_len >= self.width;
+    } {
+        if sign_len > 0 {
+            String::push_str(self.buf, sign);
+        };
+        if prefix_len > 0 {
+            String::push_str(self.buf, prefix);
+        };
+        return String::internal_reserve_uninit(self.buf, digit_count);
+    };
+    padding = self.width - content_len;
+    if self.zero_pad {
+        if sign_len > 0 {
+            String::push_str(self.buf, sign);
+        };
+        if prefix_len > 0 {
+            String::push_str(self.buf, prefix);
+        };
+        Formatter::write_char_n(self, 48, padding);
+        return String::internal_reserve_uninit(self.buf, digit_count);
+    };
+    align = self.align;
+    let __match_scrut_0: enum:Alignment;
+    __match_scrut_0 = align;
+    if __match_scrut_0 == 0 {
+        if sign_len > 0 {
+            String::push_str(self.buf, sign);
+        };
+        if prefix_len > 0 {
+            String::push_str(self.buf, prefix);
+        };
+        offset_10 = String::internal_reserve_uninit(self.buf, digit_count);
+        Formatter::write_char_n(self, self.fill, padding);
+        return offset_10;
+    } else if align == 1 {
+        left_pad = padding / 2;
+        right_pad = padding - left_pad;
+        Formatter::write_char_n(self, self.fill, left_pad);
+        if sign_len > 0 {
+            String::push_str(self.buf, sign);
+        };
+        if prefix_len > 0 {
+            String::push_str(self.buf, prefix);
+        };
+        offset_13 = String::internal_reserve_uninit(self.buf, digit_count);
+        Formatter::write_char_n(self, self.fill, right_pad);
+        return offset_13;
+    } else {
+        Formatter::write_char_n(self, self.fill, padding);
+        if sign_len > 0 {
+            String::push_str(self.buf, sign);
+        };
+        if prefix_len > 0 {
+            String::push_str(self.buf, prefix);
+        };
+        return String::internal_reserve_uninit(self.buf, digit_count);
+    };
+}
+
+export fn __cm_export__run as "run"
diff --git a/wado-compiler/tests/fixtures.golden/result-mut-ref-side-effect.wir.wado b/wado-compiler/tests/fixtures.golden/result-mut-ref-side-effect.wir.wado
index d6ebb1c6a..74c6dc1c0 100644
--- a/wado-compiler/tests/fixtures.golden/result-mut-ref-side-effect.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/result-mut-ref-side-effect.wir.wado
@@ -617,7 +617,6 @@ fn parse_expr(p) {
                     "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                     unreachable;
                 };
-                p.pos = _hfs_pos_275;
                 break __inline_Array_Token__IndexValue__index_value_3: builtin::array_get<ref Token>(__local_199.repr, __local_200);
             }.kind;
             if suffix_kind == 4 {
@@ -678,7 +677,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_6: builtin::array_get<ref Token>(__local_204.repr, __local_205);
                 }.kind;
                 if grp_kind_12 == 51 {
@@ -776,7 +774,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_9: builtin::array_get<ref Token>(__local_209.repr, __local_210);
                 }.kind;
                 if grp_kind_25 == 61 {
@@ -863,7 +860,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_12: builtin::array_get<ref Token>(__local_214.repr, __local_215);
                 }.kind;
                 if grp_kind_35 == 71 {
@@ -988,7 +984,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_15: builtin::array_get<ref Token>(__local_219.repr, __local_220);
                 }.kind;
                 if grp_kind_51 == 81 {
@@ -1113,7 +1108,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_18: builtin::array_get<ref Token>(__local_224.repr, __local_225);
                 }.kind;
                 if grp_kind_67 == 91 {
@@ -1227,7 +1221,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_1: builtin::array_get<ref Token>(__local_263.repr, __local_264);
                 }.kind == 10 -> ref null Token {
                     __local_85 = value_copy Token(let __match_scrut_25: ref Result<Token,ParseError>; __match_scrut_25 = Parser::expect(p, 10, String { repr: array.new_data<u8>("NOT"), used: 3 }); if ref.test Result<Token,ParseError>::Ok(__match_scrut_25) -> ref Token {
@@ -1272,7 +1265,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_22: builtin::array_get<ref Token>(__local_230.repr, __local_231);
                 }.kind;
                 if inner_kind == 120 {
@@ -1386,7 +1378,6 @@ fn parse_expr(p) {
                         _hfs_pos_275 = p.pos;
                         if ref.test Result<Token,ParseError>::Err(r1_107) {
                             _hfs_pos_275 = saved_pos_106;
-                            p.pos = _hfs_pos_275;
                             break opt_bt;
                         };
                         p.pos = _hfs_pos_275;
@@ -1394,7 +1385,6 @@ fn parse_expr(p) {
                         _hfs_pos_275 = p.pos;
                         if ref.test Result<Token,ParseError>::Err(r2_108) {
                             _hfs_pos_275 = saved_pos_106;
-                            p.pos = _hfs_pos_275;
                             break opt_bt;
                         };
                     };
@@ -1548,7 +1538,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_3: builtin::array_get<ref Token>(__local_267.repr, __local_268);
                 }.kind == 17 -> ref null Token {
                     __local_130 = value_copy Token(let __match_scrut_37: ref Result<Token,ParseError>; __match_scrut_37 = Parser::expect(p, 17, String { repr: array.new_data<u8>("NOT"), used: 3 }); if ref.test Result<Token,ParseError>::Ok(__match_scrut_37) -> ref Token {
@@ -1577,7 +1566,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_32: builtin::array_get<ref Token>(__local_245.repr, __local_246);
                 }.kind;
                 if grp_kind_132 == 171 {
@@ -1690,7 +1678,6 @@ fn parse_expr(p) {
                         _hfs_pos_275 = p.pos;
                         if ref.test Result<Token,ParseError>::Err(r1_149) {
                             _hfs_pos_275 = saved_pos_148;
-                            p.pos = _hfs_pos_275;
                             break opt_bt;
                         };
                         p.pos = _hfs_pos_275;
@@ -1698,7 +1685,6 @@ fn parse_expr(p) {
                         _hfs_pos_275 = p.pos;
                         if ref.test Result<E,ParseError>::Err(r2_150) {
                             _hfs_pos_275 = saved_pos_148;
-                            p.pos = _hfs_pos_275;
                             break opt_bt;
                         };
                     };
@@ -1728,7 +1714,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_36: builtin::array_get<ref Token>(__local_251.repr, __local_252);
                 }.kind;
                 if grp_kind_151 == 181 {
@@ -1841,7 +1826,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_5: builtin::array_get<ref Token>(__local_271.repr, __local_272);
                 }.kind == 191 -> ref null Token {
                     __local_169 = value_copy Token(let __match_scrut_48: ref Result<Token,ParseError>; __match_scrut_48 = Parser::expect(p, 191, String { repr: array.new_data<u8>("NOT"), used: 3 }); if ref.test Result<Token,ParseError>::Ok(__match_scrut_48) -> ref Token {
@@ -1897,7 +1881,6 @@ fn parse_expr(p) {
                         "core:internal/panic"(String { repr: array.new_data<u8>("index out of bounds"), used: 19 });
                         unreachable;
                     };
-                    p.pos = _hfs_pos_275;
                     break __inline_Array_Token__IndexValue__index_value_6: builtin::array_get<ref Token>(__local_273.repr, __local_274);
                 }.kind == 20 -> ref null Token {
                     __local_176 = value_copy Token(let __match_scrut_50: ref Result<Token,ParseError>; __match_scrut_50 = Parser::expect(p, 20, String { repr: array.new_data<u8>("NOT"), used: 3 }); if ref.test Result<Token,ParseError>::Ok(__match_scrut_50) -> ref Token {
diff --git a/wado-compiler/tests/fixtures.golden/serde_default_init.wir.wado b/wado-compiler/tests/fixtures.golden/serde_default_init.wir.wado
index 088412770..1856e0319 100644
--- a/wado-compiler/tests/fixtures.golden/serde_default_init.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_default_init.wir.wado
@@ -1535,7 +1535,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1641,7 +1640,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b163;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -1675,7 +1673,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l164;
@@ -1896,7 +1893,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -1921,7 +1917,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -1995,7 +1990,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2011,13 +2005,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2033,19 +2025,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2216,7 +2205,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -2258,7 +2246,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -2320,7 +2307,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -2435,7 +2421,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -2468,8 +2453,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -2494,7 +2477,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -2507,7 +2489,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -2527,8 +2508,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -2618,7 +2597,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -2638,7 +2616,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -2775,7 +2752,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -2887,7 +2863,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_array_string.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_array_string.wir.wado
index 7a434053a..88ada6526 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_array_string.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_array_string.wir.wado
@@ -1459,7 +1459,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1580,7 +1579,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -1613,8 +1611,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -1639,7 +1635,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -1652,7 +1647,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -1672,8 +1666,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_default.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_default.wir.wado
index 18e8c66c5..f0d617d79 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_default.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_default.wir.wado
@@ -1994,7 +1994,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2100,7 +2099,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b209;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -2134,7 +2132,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l210;
@@ -2355,7 +2352,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2380,7 +2376,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2454,7 +2449,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2470,13 +2464,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2492,19 +2484,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2675,7 +2664,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -2717,7 +2705,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -2779,7 +2766,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -2894,7 +2880,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -2927,8 +2912,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -2953,7 +2936,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -2966,7 +2948,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -2986,8 +2967,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -3077,7 +3056,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -3097,7 +3075,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -3234,7 +3211,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -3346,7 +3322,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_deser_error.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_deser_error.wir.wado
index 13ac9bec8..50c92147d 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_deser_error.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_deser_error.wir.wado
@@ -1772,7 +1772,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1878,7 +1877,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b163;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -1912,7 +1910,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l164;
@@ -2133,7 +2130,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2158,7 +2154,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2232,7 +2227,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2248,13 +2242,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2270,19 +2262,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2453,7 +2442,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -2495,7 +2483,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -2557,7 +2544,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -2672,7 +2658,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -2705,8 +2690,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -2731,7 +2714,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -2744,7 +2726,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -2764,8 +2745,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -2855,7 +2834,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -2875,7 +2853,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -3012,7 +2989,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -3124,7 +3100,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_deser_error_edge.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_deser_error_edge.wir.wado
index 25142b1ba..351747f43 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_deser_error_edge.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_deser_error_edge.wir.wado
@@ -4104,7 +4104,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -4210,7 +4209,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b364;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -4244,7 +4242,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l365;
@@ -4465,7 +4462,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -4490,7 +4486,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -4564,7 +4559,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -4580,13 +4574,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -4602,19 +4594,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -4785,7 +4774,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -4827,7 +4815,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -4889,7 +4876,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -5004,7 +4990,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -5037,8 +5022,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -5063,7 +5046,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -5076,7 +5058,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -5096,8 +5077,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -5256,7 +5235,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_49;
-                self.pos = _hfs_pos_49;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_46, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -5289,8 +5267,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_47;
-                                _hfs_pos_49 = _hfs_pos_47;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_46, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -5315,7 +5291,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                 if _hfs_pos_49 < _licm_used_45 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_49;
-                        self.pos = _hfs_pos_49;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_46, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -5328,7 +5303,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                         if _hfs_pos_49 < _licm_used_45 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_49;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_46, __local_37);
                             };
                             if sb == 45 {
@@ -5348,8 +5322,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_48;
-                                    _hfs_pos_49 = _hfs_pos_48;
-                                    self.pos = _hfs_pos_49;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_46, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -5427,7 +5399,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -5447,7 +5418,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -5584,7 +5554,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -5696,7 +5665,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_duplicate_fields.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_duplicate_fields.wir.wado
index 86cc15f58..763a3ee61 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_duplicate_fields.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_duplicate_fields.wir.wado
@@ -1989,7 +1989,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2095,7 +2094,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b197;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -2129,7 +2127,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l198;
@@ -2350,7 +2347,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2375,7 +2371,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2449,7 +2444,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2465,13 +2459,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2487,19 +2479,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2670,7 +2659,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -2712,7 +2700,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -2774,7 +2761,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -2905,7 +2891,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
             };
             b_6 = __inline_String__get_byte_8: block -> u8 {
                 __local_32 = _hfs_pos_57;
-                self.pos = _hfs_pos_57;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_50, __local_32);
             };
             if if b_6 >= 48 -> i32 {
@@ -2952,7 +2937,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                 };
                 b_8 = __inline_String__get_byte_12: block -> u8 {
                     __local_38 = _hfs_pos_58;
-                    self.pos = _hfs_pos_58;
                     break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_53, __local_38);
                 };
                 if if b_8 >= 48 -> i32 {
@@ -3020,7 +3004,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                     };
                     b3 = __inline_String__get_byte_18: block -> u8 {
                         __local_47 = _hfs_pos_59;
-                        self.pos = _hfs_pos_59;
                         break __inline_String__get_byte_18: builtin::array_get_u8(_licm_repr_56, __local_47);
                     };
                     if if b3 >= 48 -> i32 {
@@ -3092,7 +3075,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -3112,7 +3094,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -3249,7 +3230,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -3361,7 +3341,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_error_kind.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_error_kind.wir.wado
index 2805e49df..220918530 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_error_kind.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_error_kind.wir.wado
@@ -923,7 +923,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1044,7 +1043,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -1077,8 +1075,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -1103,7 +1099,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -1116,7 +1111,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -1136,8 +1130,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_int_types.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_int_types.wir.wado
index e6cf0cbe5..d730f8a78 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_int_types.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_int_types.wir.wado
@@ -2295,7 +2295,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2533,7 +2532,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2558,7 +2556,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2632,7 +2629,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2648,13 +2644,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2670,19 +2664,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -3090,7 +3081,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_49;
-                self.pos = _hfs_pos_49;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_46, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -3123,8 +3113,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_47;
-                                _hfs_pos_49 = _hfs_pos_47;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_46, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -3149,7 +3137,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                 if _hfs_pos_49 < _licm_used_45 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_49;
-                        self.pos = _hfs_pos_49;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_46, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -3162,7 +3149,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                         if _hfs_pos_49 < _licm_used_45 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_49;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_46, __local_37);
                             };
                             if sb == 45 {
@@ -3182,8 +3168,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_48;
-                                    _hfs_pos_49 = _hfs_pos_48;
-                                    self.pos = _hfs_pos_49;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_46, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -3320,7 +3304,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_7: block -> u8 {
                 __local_26 = _hfs_pos_49;
-                self.pos = _hfs_pos_49;
                 break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_46, __local_26);
             };
             if if b >= 48 -> i32 {
@@ -3353,8 +3336,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_9: block -> u8 {
                                 __local_29 = _hfs_pos_47;
-                                _hfs_pos_49 = _hfs_pos_47;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_9: builtin::array_get_u8(_licm_repr_46, __local_29);
                             };
                             if if b2 >= 48 -> i32 {
@@ -3379,7 +3360,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                 if _hfs_pos_49 < _licm_used_45 {
                     eb = __inline_String__get_byte_11: block -> u8 {
                         __local_32 = _hfs_pos_49;
-                        self.pos = _hfs_pos_49;
                         break __inline_String__get_byte_11: builtin::array_get_u8(_licm_repr_46, __local_32);
                     };
                     if if eb == 101 -> i32 {
@@ -3392,7 +3372,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                         if _hfs_pos_49 < _licm_used_45 {
                             sb = __inline_String__get_byte_13: block -> u8 {
                                 __local_35 = _hfs_pos_49;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_46, __local_35);
                             };
                             if sb == 45 {
@@ -3412,8 +3391,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_15: block -> u8 {
                                     __local_38 = _hfs_pos_48;
-                                    _hfs_pos_49 = _hfs_pos_48;
-                                    self.pos = _hfs_pos_49;
                                     break __inline_String__get_byte_15: builtin::array_get_u8(_licm_repr_46, __local_38);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_large_int.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_large_int.wir.wado
index 991a1174c..faf170298 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_large_int.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_large_int.wir.wado
@@ -2518,7 +2518,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2756,7 +2755,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2781,7 +2779,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2855,7 +2852,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2871,13 +2867,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2893,19 +2887,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -3313,7 +3304,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_49;
-                self.pos = _hfs_pos_49;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_46, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -3346,8 +3336,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_47;
-                                _hfs_pos_49 = _hfs_pos_47;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_46, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -3372,7 +3360,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                 if _hfs_pos_49 < _licm_used_45 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_49;
-                        self.pos = _hfs_pos_49;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_46, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -3385,7 +3372,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                         if _hfs_pos_49 < _licm_used_45 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_49;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_46, __local_37);
                             };
                             if sb == 45 {
@@ -3405,8 +3391,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_48;
-                                    _hfs_pos_49 = _hfs_pos_48;
-                                    self.pos = _hfs_pos_49;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_46, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -3543,7 +3527,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_7: block -> u8 {
                 __local_26 = _hfs_pos_49;
-                self.pos = _hfs_pos_49;
                 break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_46, __local_26);
             };
             if if b >= 48 -> i32 {
@@ -3576,8 +3559,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_9: block -> u8 {
                                 __local_29 = _hfs_pos_47;
-                                _hfs_pos_49 = _hfs_pos_47;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_9: builtin::array_get_u8(_licm_repr_46, __local_29);
                             };
                             if if b2 >= 48 -> i32 {
@@ -3602,7 +3583,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                 if _hfs_pos_49 < _licm_used_45 {
                     eb = __inline_String__get_byte_11: block -> u8 {
                         __local_32 = _hfs_pos_49;
-                        self.pos = _hfs_pos_49;
                         break __inline_String__get_byte_11: builtin::array_get_u8(_licm_repr_46, __local_32);
                     };
                     if if eb == 101 -> i32 {
@@ -3615,7 +3595,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                         if _hfs_pos_49 < _licm_used_45 {
                             sb = __inline_String__get_byte_13: block -> u8 {
                                 __local_35 = _hfs_pos_49;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_46, __local_35);
                             };
                             if sb == 45 {
@@ -3635,8 +3614,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_15: block -> u8 {
                                     __local_38 = _hfs_pos_48;
-                                    _hfs_pos_49 = _hfs_pos_48;
-                                    self.pos = _hfs_pos_49;
                                     break __inline_String__get_byte_15: builtin::array_get_u8(_licm_repr_46, __local_38);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_multi_type_deser.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_multi_type_deser.wir.wado
index 8fc13119c..e248bd2b0 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_multi_type_deser.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_multi_type_deser.wir.wado
@@ -942,7 +942,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1180,7 +1179,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -1205,7 +1203,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -1279,7 +1276,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -1295,13 +1291,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -1317,19 +1311,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -1535,7 +1526,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -1568,8 +1558,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -1594,7 +1582,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -1607,7 +1594,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -1627,8 +1613,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_nested_struct.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_nested_struct.wir.wado
index d6fa7b4ed..935f5b231 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_nested_struct.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_nested_struct.wir.wado
@@ -2666,7 +2666,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2772,7 +2771,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b263;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -2806,7 +2804,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l264;
@@ -3027,7 +3024,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -3052,7 +3048,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -3126,7 +3121,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -3142,13 +3136,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -3164,19 +3156,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -3347,7 +3336,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -3389,7 +3377,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -3451,7 +3438,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -3582,7 +3568,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
             };
             b_6 = __inline_String__get_byte_8: block -> u8 {
                 __local_32 = _hfs_pos_57;
-                self.pos = _hfs_pos_57;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_50, __local_32);
             };
             if if b_6 >= 48 -> i32 {
@@ -3629,7 +3614,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                 };
                 b_8 = __inline_String__get_byte_12: block -> u8 {
                     __local_38 = _hfs_pos_58;
-                    self.pos = _hfs_pos_58;
                     break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_53, __local_38);
                 };
                 if if b_8 >= 48 -> i32 {
@@ -3697,7 +3681,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                     };
                     b3 = __inline_String__get_byte_18: block -> u8 {
                         __local_47 = _hfs_pos_59;
-                        self.pos = _hfs_pos_59;
                         break __inline_String__get_byte_18: builtin::array_get_u8(_licm_repr_56, __local_47);
                     };
                     if if b3 >= 48 -> i32 {
@@ -3769,7 +3752,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -3789,7 +3771,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -3926,7 +3907,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -4038,7 +4018,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_option_array_fields.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_option_array_fields.wir.wado
index 37275ec25..c39e0a02e 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_option_array_fields.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_option_array_fields.wir.wado
@@ -2164,7 +2164,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2270,7 +2269,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b211;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -2304,7 +2302,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l212;
@@ -2525,7 +2522,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2550,7 +2546,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2624,7 +2619,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2640,13 +2634,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2662,19 +2654,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2845,7 +2834,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -2887,7 +2875,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -2949,7 +2936,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -3064,7 +3050,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -3097,8 +3082,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -3123,7 +3106,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -3136,7 +3118,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -3156,8 +3137,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -3247,7 +3226,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -3267,7 +3245,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -3404,7 +3381,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -3516,7 +3492,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_primitives.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_primitives.wir.wado
index 01c30cd55..a7ece2d9a 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_primitives.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_primitives.wir.wado
@@ -4261,7 +4261,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -4321,7 +4320,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b323;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -4355,7 +4353,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l324;
@@ -4576,7 +4573,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -4601,7 +4597,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -4675,7 +4670,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -4691,13 +4685,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -4713,19 +4705,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -4931,7 +4920,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -4964,8 +4952,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -4990,7 +4976,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -5003,7 +4988,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -5023,8 +5007,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -5200,7 +5182,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
             };
             b_6 = __inline_String__get_byte_8: block -> u8 {
                 __local_32 = _hfs_pos_57;
-                self.pos = _hfs_pos_57;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_50, __local_32);
             };
             if if b_6 >= 48 -> i32 {
@@ -5247,7 +5228,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                 };
                 b_8 = __inline_String__get_byte_12: block -> u8 {
                     __local_38 = _hfs_pos_58;
-                    self.pos = _hfs_pos_58;
                     break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_53, __local_38);
                 };
                 if if b_8 >= 48 -> i32 {
@@ -5315,7 +5295,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                     };
                     b3 = __inline_String__get_byte_18: block -> u8 {
                         __local_47 = _hfs_pos_59;
-                        self.pos = _hfs_pos_59;
                         break __inline_String__get_byte_18: builtin::array_get_u8(_licm_repr_56, __local_47);
                     };
                     if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_rename.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_rename.wir.wado
index 0c7d93cab..95505acc9 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_rename.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_rename.wir.wado
@@ -1557,7 +1557,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1663,7 +1662,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b163;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -1697,7 +1695,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l164;
@@ -1918,7 +1915,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -1943,7 +1939,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2017,7 +2012,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2033,13 +2027,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2055,19 +2047,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2238,7 +2227,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -2280,7 +2268,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -2342,7 +2329,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -2457,7 +2443,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -2490,8 +2475,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -2516,7 +2499,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -2529,7 +2511,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -2549,8 +2530,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -2640,7 +2619,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -2660,7 +2638,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -2797,7 +2774,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -2909,7 +2885,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_rename_all.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_rename_all.wir.wado
index 0798560cd..8e09405e7 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_rename_all.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_rename_all.wir.wado
@@ -2102,7 +2102,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2208,7 +2207,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b250;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -2242,7 +2240,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l251;
@@ -2463,7 +2460,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2488,7 +2484,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2562,7 +2557,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2578,13 +2572,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2600,19 +2592,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2901,7 +2890,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -2943,7 +2931,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -3005,7 +2992,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -3120,7 +3106,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -3153,8 +3138,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -3179,7 +3162,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -3192,7 +3174,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -3212,8 +3193,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -3372,7 +3351,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_49;
-                self.pos = _hfs_pos_49;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_46, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -3405,8 +3383,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_47;
-                                _hfs_pos_49 = _hfs_pos_47;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_46, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -3431,7 +3407,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                 if _hfs_pos_49 < _licm_used_45 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_49;
-                        self.pos = _hfs_pos_49;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_46, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -3444,7 +3419,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                         if _hfs_pos_49 < _licm_used_45 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_49;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_46, __local_37);
                             };
                             if sb == 45 {
@@ -3464,8 +3438,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_48;
-                                    _hfs_pos_49 = _hfs_pos_48;
-                                    self.pos = _hfs_pos_49;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_46, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -3543,7 +3515,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -3563,7 +3534,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -3700,7 +3670,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -3812,7 +3781,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_result.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_result.wir.wado
index f5798baa7..f118dc053 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_result.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_result.wir.wado
@@ -1494,7 +1494,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1778,7 +1777,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -1803,7 +1801,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -1877,7 +1874,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -1893,13 +1889,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -1915,19 +1909,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2133,7 +2124,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -2166,8 +2156,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -2192,7 +2180,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -2205,7 +2192,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -2225,8 +2211,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_roundtrip_complex.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_roundtrip_complex.wir.wado
index ad3a523a5..b59f65b7a 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_roundtrip_complex.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_roundtrip_complex.wir.wado
@@ -10049,7 +10049,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -10155,7 +10154,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b859;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -10189,7 +10187,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l860;
@@ -10410,7 +10407,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -10435,7 +10431,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -10509,7 +10504,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -10525,13 +10519,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -10547,19 +10539,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -10730,7 +10719,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -10772,7 +10760,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -10834,7 +10821,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -10949,7 +10935,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -10982,8 +10967,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -11008,7 +10991,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -11021,7 +11003,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -11041,8 +11022,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -11218,7 +11197,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
             };
             b_6 = __inline_String__get_byte_8: block -> u8 {
                 __local_32 = _hfs_pos_57;
-                self.pos = _hfs_pos_57;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_50, __local_32);
             };
             if if b_6 >= 48 -> i32 {
@@ -11265,7 +11243,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                 };
                 b_8 = __inline_String__get_byte_12: block -> u8 {
                     __local_38 = _hfs_pos_58;
-                    self.pos = _hfs_pos_58;
                     break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_53, __local_38);
                 };
                 if if b_8 >= 48 -> i32 {
@@ -11333,7 +11310,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                     };
                     b3 = __inline_String__get_byte_18: block -> u8 {
                         __local_47 = _hfs_pos_59;
-                        self.pos = _hfs_pos_59;
                         break __inline_String__get_byte_18: builtin::array_get_u8(_licm_repr_56, __local_47);
                     };
                     if if b3 >= 48 -> i32 {
@@ -11405,7 +11381,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -11425,7 +11400,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -11562,7 +11536,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -11674,7 +11647,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_scientific_notation.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_scientific_notation.wir.wado
index b7c2b0bef..41bada35a 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_scientific_notation.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_scientific_notation.wir.wado
@@ -4147,7 +4147,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -4385,7 +4384,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -4410,7 +4408,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -4484,7 +4481,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -4500,13 +4496,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -4522,19 +4516,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -4943,7 +4934,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -4976,8 +4966,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -5002,7 +4990,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -5015,7 +5002,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -5035,8 +5021,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -5195,7 +5179,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_49;
-                self.pos = _hfs_pos_49;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_46, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -5228,8 +5211,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_47;
-                                _hfs_pos_49 = _hfs_pos_47;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_46, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -5254,7 +5235,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                 if _hfs_pos_49 < _licm_used_45 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_49;
-                        self.pos = _hfs_pos_49;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_46, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -5267,7 +5247,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                         if _hfs_pos_49 < _licm_used_45 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_49;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_46, __local_37);
                             };
                             if sb == 45 {
@@ -5287,8 +5266,6 @@ fn "core:json/JsonDeserializer::parse_i64_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_48;
-                                    _hfs_pos_49 = _hfs_pos_48;
-                                    self.pos = _hfs_pos_49;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_46, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -5425,7 +5402,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_7: block -> u8 {
                 __local_26 = _hfs_pos_49;
-                self.pos = _hfs_pos_49;
                 break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_46, __local_26);
             };
             if if b >= 48 -> i32 {
@@ -5458,8 +5434,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_9: block -> u8 {
                                 __local_29 = _hfs_pos_47;
-                                _hfs_pos_49 = _hfs_pos_47;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_9: builtin::array_get_u8(_licm_repr_46, __local_29);
                             };
                             if if b2 >= 48 -> i32 {
@@ -5484,7 +5458,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                 if _hfs_pos_49 < _licm_used_45 {
                     eb = __inline_String__get_byte_11: block -> u8 {
                         __local_32 = _hfs_pos_49;
-                        self.pos = _hfs_pos_49;
                         break __inline_String__get_byte_11: builtin::array_get_u8(_licm_repr_46, __local_32);
                     };
                     if if eb == 101 -> i32 {
@@ -5497,7 +5470,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                         if _hfs_pos_49 < _licm_used_45 {
                             sb = __inline_String__get_byte_13: block -> u8 {
                                 __local_35 = _hfs_pos_49;
-                                self.pos = _hfs_pos_49;
                                 break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_46, __local_35);
                             };
                             if sb == 45 {
@@ -5517,8 +5489,6 @@ fn "core:json/JsonDeserializer::parse_u64_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_15: block -> u8 {
                                     __local_38 = _hfs_pos_48;
-                                    _hfs_pos_49 = _hfs_pos_48;
-                                    self.pos = _hfs_pos_49;
                                     break __inline_String__get_byte_15: builtin::array_get_u8(_licm_repr_46, __local_38);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -5682,7 +5652,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
             };
             b_6 = __inline_String__get_byte_8: block -> u8 {
                 __local_32 = _hfs_pos_57;
-                self.pos = _hfs_pos_57;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_50, __local_32);
             };
             if if b_6 >= 48 -> i32 {
@@ -5729,7 +5698,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                 };
                 b_8 = __inline_String__get_byte_12: block -> u8 {
                     __local_38 = _hfs_pos_58;
-                    self.pos = _hfs_pos_58;
                     break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_53, __local_38);
                 };
                 if if b_8 >= 48 -> i32 {
@@ -5797,7 +5765,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                     };
                     b3 = __inline_String__get_byte_18: block -> u8 {
                         __local_47 = _hfs_pos_59;
-                        self.pos = _hfs_pos_59;
                         break __inline_String__get_byte_18: builtin::array_get_u8(_licm_repr_56, __local_47);
                     };
                     if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_string_escape.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_string_escape.wir.wado
index 0c42b6a51..cb2f58733 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_string_escape.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_string_escape.wir.wado
@@ -1215,7 +1215,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1453,7 +1452,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -1478,7 +1476,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -1552,7 +1549,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -1568,13 +1564,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -1590,19 +1584,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_synth_enum.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_synth_enum.wir.wado
index bd65ec34a..cfbe3beb6 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_synth_enum.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_synth_enum.wir.wado
@@ -1085,7 +1085,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1369,7 +1368,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -1394,7 +1392,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -1468,7 +1465,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -1484,13 +1480,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -1506,19 +1500,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_synth_variant.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_synth_variant.wir.wado
index bd1a775fe..4a7cd74a8 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_synth_variant.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_synth_variant.wir.wado
@@ -2469,7 +2469,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2753,7 +2752,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2778,7 +2776,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2852,7 +2849,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2868,13 +2864,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2890,19 +2884,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -3124,7 +3115,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
             };
             b_6 = __inline_String__get_byte_8: block -> u8 {
                 __local_32 = _hfs_pos_57;
-                self.pos = _hfs_pos_57;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_50, __local_32);
             };
             if if b_6 >= 48 -> i32 {
@@ -3171,7 +3161,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                 };
                 b_8 = __inline_String__get_byte_12: block -> u8 {
                     __local_38 = _hfs_pos_58;
-                    self.pos = _hfs_pos_58;
                     break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_53, __local_38);
                 };
                 if if b_8 >= 48 -> i32 {
@@ -3239,7 +3228,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                     };
                     b3 = __inline_String__get_byte_18: block -> u8 {
                         __local_47 = _hfs_pos_59;
-                        self.pos = _hfs_pos_59;
                         break __inline_String__get_byte_18: builtin::array_get_u8(_licm_repr_56, __local_47);
                     };
                     if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_treemap.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_treemap.wir.wado
index 9c286c7f6..068b61c96 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_treemap.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_treemap.wir.wado
@@ -4805,7 +4805,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -5089,7 +5088,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -5114,7 +5112,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -5188,7 +5185,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -5204,13 +5200,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -5226,19 +5220,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -5444,7 +5435,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -5477,8 +5467,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -5503,7 +5491,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -5516,7 +5503,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -5536,8 +5522,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_tuple.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_tuple.wir.wado
index b74b8fe7e..399af58e0 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_tuple.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_tuple.wir.wado
@@ -2648,7 +2648,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2932,7 +2931,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2957,7 +2955,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -3031,7 +3028,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -3047,13 +3043,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -3069,19 +3063,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -3287,7 +3278,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -3320,8 +3310,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -3346,7 +3334,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -3359,7 +3346,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -3379,8 +3365,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_json_unknown_fields.wir.wado b/wado-compiler/tests/fixtures.golden/serde_json_unknown_fields.wir.wado
index 4df3f4c6b..9281e8d6c 100644
--- a/wado-compiler/tests/fixtures.golden/serde_json_unknown_fields.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_json_unknown_fields.wir.wado
@@ -2201,7 +2201,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -2307,7 +2306,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b205;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -2341,7 +2339,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l206;
@@ -2562,7 +2559,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -2587,7 +2583,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -2661,7 +2656,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -2677,13 +2671,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -2699,19 +2691,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -2882,7 +2871,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -2924,7 +2912,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -2986,7 +2973,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -3117,7 +3103,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
             };
             b_6 = __inline_String__get_byte_8: block -> u8 {
                 __local_32 = _hfs_pos_57;
-                self.pos = _hfs_pos_57;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_50, __local_32);
             };
             if if b_6 >= 48 -> i32 {
@@ -3164,7 +3149,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                 };
                 b_8 = __inline_String__get_byte_12: block -> u8 {
                     __local_38 = _hfs_pos_58;
-                    self.pos = _hfs_pos_58;
                     break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_53, __local_38);
                 };
                 if if b_8 >= 48 -> i32 {
@@ -3232,7 +3216,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                     };
                     b3 = __inline_String__get_byte_18: block -> u8 {
                         __local_47 = _hfs_pos_59;
-                        self.pos = _hfs_pos_59;
                         break __inline_String__get_byte_18: builtin::array_get_u8(_licm_repr_56, __local_47);
                     };
                     if if b3 >= 48 -> i32 {
@@ -3304,7 +3287,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -3324,7 +3306,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -3461,7 +3442,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -3573,7 +3553,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/serde_synth.wir.wado b/wado-compiler/tests/fixtures.golden/serde_synth.wir.wado
index aa514460e..cb643c97d 100644
--- a/wado-compiler/tests/fixtures.golden/serde_synth.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/serde_synth.wir.wado
@@ -3524,7 +3524,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -3630,7 +3629,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                 if __sroa___iter_3_index >= _licm_used_19 {
                     self.pos = _hfs_pos_27;
                     break b322;
-                    self.pos = _hfs_pos_27;
                     break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
                 };
                 byte = builtin::array_get_u8(_licm_repr_20, __sroa___iter_3_index);
@@ -3664,7 +3662,6 @@ fn "core:json/JsonDeserializer::expect_literal"(self, lit) {  // from core:json
                     });
                 };
                 _hfs_pos_27 = _hfs_pos_27 + 1;
-                self.pos = _hfs_pos_27;
                 break __fused___inline_StrUtf8ByteIter_Iterator__next_2;
             };
             continue l323;
@@ -3885,7 +3882,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -3910,7 +3906,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -3984,7 +3979,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -4000,13 +3994,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -4022,19 +4014,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -4205,7 +4194,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
             };
             b_1 = __inline_String__get_byte_3: block -> u8 {
                 __local_11 = _hfs_pos_36;
-                self.pos = _hfs_pos_36;
                 break __inline_String__get_byte_3: builtin::array_get_u8(_licm_repr_29, __local_11);
             };
             if if b_1 >= 48 -> i32 {
@@ -4247,7 +4235,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                 };
                 b_2 = __inline_String__get_byte_7: block -> u8 {
                     __local_17 = _hfs_pos_37;
-                    self.pos = _hfs_pos_37;
                     break __inline_String__get_byte_7: builtin::array_get_u8(_licm_repr_32, __local_17);
                 };
                 if if b_2 >= 48 -> i32 {
@@ -4309,7 +4296,6 @@ fn "core:json/JsonDeserializer::skip_number"(self) {  // from core:json
                     };
                     b2 = __inline_String__get_byte_13: block -> u8 {
                         __local_26 = _hfs_pos_38;
-                        self.pos = _hfs_pos_38;
                         break __inline_String__get_byte_13: builtin::array_get_u8(_licm_repr_35, __local_26);
                     };
                     if if b2 >= 48 -> i32 {
@@ -4424,7 +4410,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -4457,8 +4442,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -4483,7 +4466,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -4496,7 +4478,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -4516,8 +4497,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
@@ -4693,7 +4672,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
             };
             b_6 = __inline_String__get_byte_8: block -> u8 {
                 __local_32 = _hfs_pos_57;
-                self.pos = _hfs_pos_57;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_50, __local_32);
             };
             if if b_6 >= 48 -> i32 {
@@ -4740,7 +4718,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                 };
                 b_8 = __inline_String__get_byte_12: block -> u8 {
                     __local_38 = _hfs_pos_58;
-                    self.pos = _hfs_pos_58;
                     break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_53, __local_38);
                 };
                 if if b_8 >= 48 -> i32 {
@@ -4808,7 +4785,6 @@ fn "core:json/JsonDeserializer::parse_f64_direct"(self) {  // from core:json
                     };
                     b3 = __inline_String__get_byte_18: block -> u8 {
                         __local_47 = _hfs_pos_59;
-                        self.pos = _hfs_pos_59;
                         break __inline_String__get_byte_18: builtin::array_get_u8(_licm_repr_56, __local_47);
                     };
                     if if b3 >= 48 -> i32 {
@@ -4880,7 +4856,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_5 = _hfs_pos_14;
-                self.pos = _hfs_pos_14;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_13, __local_5);
             };
             if b == 34 {
@@ -4900,7 +4875,6 @@ fn "core:json/JsonDeserializer::skip_string"(self) {  // from core:json
                 };
                 esc = __inline_String__get_byte_4: block -> u8 {
                     __local_9 = _hfs_pos_14;
-                    self.pos = _hfs_pos_14;
                     break __inline_String__get_byte_4: builtin::array_get_u8(_licm_repr_13, __local_9);
                 };
                 if esc == 117 {
@@ -5037,7 +5011,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_4 = __inline_String__get_byte_7: block -> u8 {
                     __local_27 = self.input;
                     __local_28 = _hfs_pos_49;
-                    self.pos = _hfs_pos_49;
                     break __inline_String__get_byte_7: builtin::array_get_u8(__local_27.repr, __local_28);
                 };
                 if c_4 == 93 {
@@ -5149,7 +5122,6 @@ fn "core:json/JsonDeserializer::skip_value"(self) {  // from core:json
                 c_11 = __inline_String__get_byte_16: block -> u8 {
                     __local_41 = self.input;
                     __local_42 = _hfs_pos_50;
-                    self.pos = _hfs_pos_50;
                     break __inline_String__get_byte_16: builtin::array_get_u8(__local_41.repr, __local_42);
                 };
                 if c_11 == 125 {
diff --git a/wado-compiler/tests/fixtures.golden/variadic_deserialize.wir.wado b/wado-compiler/tests/fixtures.golden/variadic_deserialize.wir.wado
index e8c7b7f16..97ef09a22 100644
--- a/wado-compiler/tests/fixtures.golden/variadic_deserialize.wir.wado
+++ b/wado-compiler/tests/fixtures.golden/variadic_deserialize.wir.wado
@@ -1325,7 +1325,6 @@ fn "core:json/JsonDeserializer::skip_whitespace"(self) {  // from core:json
             };
             b = __inline_String__get_byte_1: block -> u8 {
                 __local_4 = _hfs_pos_8;
-                self.pos = _hfs_pos_8;
                 break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_7, __local_4);
             };
             if if if if b == 32 -> i32 {
@@ -1609,7 +1608,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
             b = __inline_String__get_byte_15: block -> u8 {
                 __local_64 = self.input;
                 __local_65 = _hfs_pos_98;
-                self.pos = _hfs_pos_98;
                 break __inline_String__get_byte_15: builtin::array_get_u8(__local_64.repr, __local_65);
             };
             if b == 34 {
@@ -1634,7 +1632,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                 esc = __inline_String__get_byte_18: block -> u8 {
                     __local_68 = self.input;
                     __local_69 = _hfs_pos_98;
-                    self.pos = _hfs_pos_98;
                     break __inline_String__get_byte_18: builtin::array_get_u8(__local_68.repr, __local_69);
                 };
                 if esc == 34 {
@@ -1708,7 +1705,6 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_18 = __inline_String__get_byte_24: block -> u8 {
                         __local_76 = self.input;
                         __local_77 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_24: builtin::array_get_u8(__local_76.repr, __local_77);
                     };
                     code_19 = ((b0_17 & 31) << 6) | (b1_18 & 63);
@@ -1724,13 +1720,11 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_22 = __inline_String__get_byte_25: block -> u8 {
                         __local_78 = self.input;
                         __local_79 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_25: builtin::array_get_u8(__local_78.repr, __local_79);
                     };
                     b2_23 = __inline_String__get_byte_26: block -> u8 {
                         __local_80 = self.input;
                         __local_81 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_26: builtin::array_get_u8(__local_80.repr, __local_81);
                     };
                     code_24 = (((b0_21 & 15) << 12) | ((b1_22 & 63) << 6)) | (b2_23 & 63);
@@ -1746,19 +1740,16 @@ fn "core:json/JsonDeserializer::read_json_string"(self) {  // from core:json
                     b1_27 = __inline_String__get_byte_27: block -> u8 {
                         __local_82 = self.input;
                         __local_83 = _hfs_pos_98 + 1;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_27: builtin::array_get_u8(__local_82.repr, __local_83);
                     };
                     b2_28 = __inline_String__get_byte_28: block -> u8 {
                         __local_84 = self.input;
                         __local_85 = _hfs_pos_98 + 2;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_28: builtin::array_get_u8(__local_84.repr, __local_85);
                     };
                     b3 = __inline_String__get_byte_29: block -> u8 {
                         __local_86 = self.input;
                         __local_87 = _hfs_pos_98 + 3;
-                        self.pos = _hfs_pos_98;
                         break __inline_String__get_byte_29: builtin::array_get_u8(__local_86.repr, __local_87);
                     };
                     code_30 = ((((b0_26 & 7) << 18) | ((b1_27 & 63) << 12)) | ((b2_28 & 63) << 6)) | (b3 & 63);
@@ -1964,7 +1955,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
             };
             b = __inline_String__get_byte_8: block -> u8 {
                 __local_28 = _hfs_pos_51;
-                self.pos = _hfs_pos_51;
                 break __inline_String__get_byte_8: builtin::array_get_u8(_licm_repr_48, __local_28);
             };
             if if b >= 48 -> i32 {
@@ -1997,8 +1987,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                             };
                             b2 = __inline_String__get_byte_10: block -> u8 {
                                 __local_31 = _hfs_pos_49;
-                                _hfs_pos_51 = _hfs_pos_49;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_10: builtin::array_get_u8(_licm_repr_48, __local_31);
                             };
                             if if b2 >= 48 -> i32 {
@@ -2023,7 +2011,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                 if _hfs_pos_51 < _licm_used_47 {
                     eb = __inline_String__get_byte_12: block -> u8 {
                         __local_34 = _hfs_pos_51;
-                        self.pos = _hfs_pos_51;
                         break __inline_String__get_byte_12: builtin::array_get_u8(_licm_repr_48, __local_34);
                     };
                     if if eb == 101 -> i32 {
@@ -2036,7 +2023,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                         if _hfs_pos_51 < _licm_used_47 {
                             sb = __inline_String__get_byte_14: block -> u8 {
                                 __local_37 = _hfs_pos_51;
-                                self.pos = _hfs_pos_51;
                                 break __inline_String__get_byte_14: builtin::array_get_u8(_licm_repr_48, __local_37);
                             };
                             if sb == 45 {
@@ -2056,8 +2042,6 @@ fn "core:json/JsonDeserializer::parse_i32_direct"(self) {  // from core:json
                                 };
                                 b3 = __inline_String__get_byte_16: block -> u8 {
                                     __local_40 = _hfs_pos_50;
-                                    _hfs_pos_51 = _hfs_pos_50;
-                                    self.pos = _hfs_pos_51;
                                     break __inline_String__get_byte_16: builtin::array_get_u8(_licm_repr_48, __local_40);
                                 };
                                 if if b3 >= 48 -> i32 {
diff --git a/wado-compiler/tests/fixtures/hfs_inline_break_no_writeback.wado b/wado-compiler/tests/fixtures/hfs_inline_break_no_writeback.wado
new file mode 100644
index 000000000..632532210
--- /dev/null
+++ b/wado-compiler/tests/fixtures/hfs_inline_break_no_writeback.wado
@@ -0,0 +1,48 @@
+// Verify that HFS write-backs are not inserted inside inlined labeled blocks.
+// The inner loop should have no struct.set for `self.pos` except at exits.
+use { println, Stdout } from "core:cli";
+
+struct Scanner {
+    data: String,
+    pos: i32,
+}
+
+impl Scanner {
+    fn peek(&self) -> i32 {
+        if self.pos >= self.data.len() {
+            return -1;
+        }
+        return self.data.get_byte(self.pos) as i32;
+    }
+
+    fn skip_spaces(&mut self) {
+        while self.pos < self.data.len() {
+            let b = self.data.get_byte(self.pos) as i32;
+            if b == ' ' as i32 {
+                self.pos += 1;
+            } else {
+                return;
+            }
+        }
+    }
+}
+
+export fn run() with Stdout {
+    let mut s = Scanner { data: "  a  b  c  ", pos: 0 };
+    let mut count = 0;
+    while s.pos < s.data.len() {
+        s.skip_spaces();
+        if s.peek() >= 0 {
+            count += 1;
+            s.pos += 1;
+        }
+    }
+    println(`{count}`);
+}
+
+__DATA__
+{
+    "stdout": "3\n",
+    "wir_expect:O2": ["break __inline_String__get_byte_1: builtin::array_get_u8(_licm_repr_"],
+    "wir_not_expect:O2": ["self.pos = _hfs_pos_8;\n                break __inline_"]
+}