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