{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"Some("}]}
                        Some(
                    metadata = if self.size_align_of(&ty, locals)?.is_none() {
                            Interval { addr: addr.offset(self.ptr_size()), size: self.ptr_size() }