codegen now works correctly with the latest version of Rust