Skip to content

clarify comment on Deref promotion#105136

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:deref-promotion-comment
Dec 2, 2022

Commits

Commits on Dec 1, 2022