#![deny(clippy::implicit_hasher)] use std::collections::HashSet; fn main() {} pub fn ice_3717(_: &HashSet<usize>) { let _ = [0u8; 0]; let _: HashSet<usize> = HashSet::new(); }