You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm not sure exactly what's causing these, but the compiler fails during codegen for a few cases of borrowing. It has something to do with borrowing temporary expressions. I think. I'll put FIXME markers connected to this bug in the files in question (a foreach loop in cargo/cargo.rs, another in rustc/middle/trans/base.rs, another in rustc/middle/tstate/auxiliary.rs, and a final one in test/bench/shootout-mandelbrot.rs). The commit that changes those (and will be linked here momentarily) shows the change I had to make to get it working with borrowed regions.
The text was updated successfully, but these errors were encountered:
After updating our dependencies, running `cargo build-dev` always trigger the recompilation of a few dependencies as well as `kani-driver` and `kani-compiler`.
This seems to be caused by [this change](bytecodealliance/rustix#544) on `rustix` dependency.
The problem here is that we share the same build folder for our tools and our binaries. But they build with slightly different cargo arguments, and this package decided to make their build script very sensitive to changes to their environment
To overcome this, force `cargo build-dev` to use a different folder for the tools build.
I'm not sure exactly what's causing these, but the compiler fails during codegen for a few cases of borrowing. It has something to do with borrowing temporary expressions. I think. I'll put FIXME markers connected to this bug in the files in question (a foreach loop in cargo/cargo.rs, another in rustc/middle/trans/base.rs, another in rustc/middle/tstate/auxiliary.rs, and a final one in test/bench/shootout-mandelbrot.rs). The commit that changes those (and will be linked here momentarily) shows the change I had to make to get it working with borrowed regions.
The text was updated successfully, but these errors were encountered: