unreachable code: Failed to find trait impl during monomorphization

[jfecher]

Aim

use dep::std::collections::map::HashMap;
use dep::std::hash::poseidon2::Poseidon2Hasher;
use dep::std::hash::BuildHasherDefault;

global MAP: HashMap<Field, Field, 2, Poseidon2Hasher> = {
    let mut map = HashMap::default();
    map.insert(1, 2);
    map.insert(3, 4);
    map
};

fn main() {
    println(MAP);
}

Expected Behavior

The compiler to error that there is no impl BuildHasher for Poseidon2Hasher. The correct type would be BuildHasherDefault<Poseidon2Hasher>

Bug

The application panicked (crashed).
Message:  internal error: entered unreachable code: Failed to find trait impl during monomorphization. The failed constraint(s) are:
  Poseidon2Hasher: BuildHasher<H'304 -> '22670>
Location: compiler/noirc_frontend/src/monomorphization/mod.rs:1060

To Reproduce

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

None

Nargo Version

No response

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response