{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"interval:"}]}
                interval: Interval { addr: tmp, size: self.ptr_size() },
            let arg = IntervalAndTy {
                ty: TyKind::Ref(Mutability::Not, error_lifetime(), ty.clone()).intern(Interner),