{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")],"}]}
            )],
                Rvalue::BinaryOp(BinOp::Eq, Box::new((copy(Place::from(cur)), copy(len.into())))),
            Some(Terminator {