Skip to content

The ghost! macros now insert #[check(ghost)] on closures.

a437d82
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Operations on AtomicI32 #1844

The ghost! macros now insert #[check(ghost)] on closures.
a437d82
Select commit
Loading
Failed to load commit list.