2020-04-02 21:09:30 -05:00
|
|
|
#![deny(clippy::implicit_hasher)]
|
|
|
|
|
2019-02-16 15:41:06 -06:00
|
|
|
use std::collections::HashSet;
|
|
|
|
|
|
|
|
fn main() {}
|
|
|
|
|
|
|
|
pub fn ice_3717(_: &HashSet<usize>) {
|
2023-07-28 14:35:48 -05:00
|
|
|
//~^ ERROR: parameter of type `HashSet` should be generalized over different hashers
|
2019-02-16 15:41:06 -06:00
|
|
|
let _ = [0u8; 0];
|
|
|
|
let _: HashSet<usize> = HashSet::new();
|
|
|
|
}
|