Skip to content

internal: error on duplicate #[pin] attribute - #120

Merged
nbdd0121 merged 1 commit into
Rust-for-Linux:mainfrom
mentonin:duplicate-pin
Jul 10, 2026
Merged

internal: error on duplicate #[pin] attribute#120
nbdd0121 merged 1 commit into
Rust-for-Linux:mainfrom
mentonin:duplicate-pin

internal: error on duplicate `#[pin]` attribute

feb66a5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
miri (-Zmiri-strict-provenance)
succeeded Jul 10, 2026 in 1m 23s