Don't lint ptr_arg when used as an incompatible trait object#9645
Merged
bors merged 1 commit intorust-lang:masterfrom Jarcho:ptr_arg_9542Oct 14, 2022
+93-3
ptr_arg when used as an incompatible trait object#9645