Skip to content

Add contracts for all functions in Alignment - #136578

Closed
tautschnig wants to merge 3 commits into
rust-lang:mainfrom
tautschnig:upstream-contracts/alignment
Closed

Add contracts for all functions in Alignment#136578
tautschnig wants to merge 3 commits into
rust-lang:mainfrom
tautschnig:upstream-contracts/alignment

Update expected MIR in tests

17e2c8a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.