{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"};"}]}
                    };
                        None => not_supported!("non evaluatable array len in patching addresses"),
                    let size = this.size_of_sized(inner, locals, "inner of array")?;