A minimum example for a cargo check bug
- Install the
thumbv7em-none-eabihf
toolchain - Compile the program with
cargo build --release
(should work) - Check the program with
cargo check --release
(Should not work) - Check the program with
cargo check --release --target your-platform
whereyour-platform
is replaced by the target triple of your platform (should work)