Skip to content

clarify comment on Deref promotion#105136

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

clarify comment on Deref promotion#105136
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:deref-promotion-comment

clarify comment on Deref promotion

b7f2b1c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs