New lint: Recommend using ptr::eq when possible#6130
Merged
bors merged 3 commits intorust-lang:masterfrom Oct 9, 2020
ambroisie:lint-ptr-eq
Merged
New lint: Recommend using ptr::eq when possible#6130bors merged 3 commits intorust-lang:masterfrom ambroisie:lint-ptr-eq
ptr::eq when possible#6130bors merged 3 commits intorust-lang:masterfrom
ambroisie:lint-ptr-eq