Skip to content

Port #[rustc_as_ptr] to the new attribute system#142498

Merged
bors merged 1 commit intorust-lang:masterfrom
GrigorenkoPV:as-ptr-refactor
Jun 16, 2025
Merged

Port `#[rustc_as_ptr]` to the new attribute system#142498
bors merged 1 commit intorust-lang:masterfrom
GrigorenkoPV:as-ptr-refactor

Commits

Commits on Jun 16, 2025