Warn when two crates with different versions are in use in the same compilation unit

[pwnorbitals]

I was faced with this error message, saying my Memory trait was both not implemented and implemented by the Flash type :

This particular issue was caused by having two different versions of the STM32H7 HAL, leading to this confusing and misleading error.

Should we consider adding a warning when two different versions of the same crate are in use in a single compilation unit ?

[mejrs]

Can you post the full error (from cargo check)? This looks like ide output.

[memoryruins]

Looks like a duplicate of #22750 and/or #89143

[pwnorbitals]

E:\Chris\GNCC\flight_software\GNCC_bootloader_l1>cargo check

    Compiling libcsp-freertos v0.1.0 ([hidden])
    Checking gncc-drivers v0.1.0 ([hidden])
    Checking gncc-config v0.1.0 ([hidden])
    Checking gncc_bootloader_l1 v0.1.0 ([hidden])
error[E0277]: the trait bound `Flash: Memory` is not satisfied
   --> src\main.rs:252:19
    |
252 |     active_image: SoftwareImage<Flash>,
    |                   ^^^^^^^^^^^^^^^^^^^^ the trait `Memory` is not implemented for `Flash`
    |
    = help: the following other types implement trait `Memory`:
              CY15B104Q<SPI, CS, SPIE, CSE>
              gncc_drivers::memory::nor_flash::NorFlash
              stm32h7xx_hal::flash::Flash
note: required by a bound in `SoftwareImage`
   --> [hidden]/software_image.rs:9:31
    |
9   | pub struct SoftwareImage<MEM: super::Memory> {
    |                               ^^^^^^^^^^^^^ required by this bound in `SoftwareImage`
For more information about this error, try `rustc --explain E0277`.
 
error: could not compile `gncc_bootloader_l1` due to previous error

[estebank]

I believe this is fixed by #124944. Without a repro I can't confirm. If this comes up again, please reopen this ticket or open a new one.