Convert a hard-warning about named static lifetimes into lint "unused_lifetimes"#108230
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 22, 2023
Merged
Convert a hard-warning about named static lifetimes into lint "unused_lifetimes"#108230bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
