{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"if"}]}
        if alloc.mutability.is_not() {
        let (_kind, alloc) = self.memory.alloc_map.get_mut(id).unwrap();
            throw_ub!(WriteToReadOnly(id))