Skip to content

Remove #[allow(unused_lifetimes)] which is now unnecessary - #86387

Merged
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:now-no-unused-lifetimes
Jun 22, 2021
Merged

Remove #[allow(unused_lifetimes)] which is now unnecessary#86387
bors merged 1 commit into
rust-lang:masterfrom
JohnTitor:now-no-unused-lifetimes

Remove `#[allow(unused_lifetimes)]` which is now unnecessary

636170a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs