Skip to content

New lint: Recommend using ptr::eq when possible#6130

Merged
bors merged 3 commits intorust-lang:masterfrom
ambroisie:lint-ptr-eq
Oct 9, 2020

Commits

Commits on Oct 7, 2020