Since https://github.com/rust-lang/rust/pull/154341 typed copies now implicitly retag. Rustlantis doesn't know about this yet so some of the programs it generates execute UB. I *think* the fix for this should be relatively simple? But I'm not an expert on the codebase.
Since rust-lang/rust#154341 typed copies now implicitly retag. Rustlantis doesn't know about this yet so some of the programs it generates execute UB.
I think the fix for this should be relatively simple? But I'm not an expert on the codebase.