{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"arg0_interval.write_from_interval(self,"}]}
                arg0_interval.write_from_interval(self, arg2.interval)?;
            let dest = if arg1.get(self)? == arg0_interval.get(self)? {
                (arg1.interval, true)