Auto merge of #123207 - Urgau:improve_ambi_non_null, r=Nadrieril · rust-lang/miri@6723a7b · GitHub

Commit

Auto merge of #123207 - Urgau:improve_ambi_non_null, r=Nadrieril

Browse files

Add support for `NonNull`s in the `ambiguous_wide_ptr_comparisions` lint

This PR add support for `NonNull` pointers in the `ambiguous_wide_ptr_comparisions` lint.

Fixes rust-lang/rust#121264
r? `@Nadrieril` (since you just reviewed #121268, feel free to reassign)

Loading branch information

bors committed Mar 30, 2024

2 parents 1bd2a73 + 8d829ae commit 6723a7b