Skip to content

references and Box must be non-null#1715

Merged
ehuss merged 1 commit into
rust-lang:masterfrom
RalfJung:ref-non-null
Jan 17, 2025
Merged

references and Box must be non-null#1715
ehuss merged 1 commit into
rust-lang:masterfrom
RalfJung:ref-non-null

references and Box must be non-null

0249aec
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs