Optional semantics for `Unique`#2936

Merged

bors merged 2 commits intorust-lang:masterfrom

Vanille-N:unique

Jun 28, 2023

Commits on Jun 22, 2023

drop perform_read_access (always read) in favor of zero_size
Vanille-N
committed

Commits on Jun 28, 2023

Unique gets special treatment when -Zmiri-unique-is-unique
Vanille-N
committed