{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"ty:"}]}
                        ty: ty.clone(),
                        interval: Interval::new(Address::from_bytes(pointee)?, size),
                    };