Skip to content

Don't lint ptr_arg when used as an incompatible trait object#9645

Merged
bors merged 1 commit intorust-lang:masterfrom
Jarcho:ptr_arg_9542
Oct 14, 2022
Merged

Don't lint ptr_arg when used as an incompatible trait object#9645
bors merged 1 commit intorust-lang:masterfrom
Jarcho:ptr_arg_9542

Commits

Commits on Oct 14, 2022