Thomas Coratger b828867f8c lints: use rust-2018-idioms to eliminate #![allow(elided-lifetimes-in-paths)] (#5944)

2024-01-04 18:13:33 +00:00

..

prefix_set.rs

lints: use rust-2018-idioms to eliminate #![allow(elided-lifetimes-in-paths)] (#5944)

2024-01-04 18:13:33 +00:00