Type inference issues around generic impls

[bjorn3]

I tried this code:

struct PhantomData<T>;

struct Hasher<S> {
    _marker: PhantomData<S>,
}

struct Sip24Rounds;

struct SipHasher24 {
    hasher: Hasher<Sip24Rounds>,
}

impl SipHasher24 {
    pub fn new_with_keys(key0: u64, key1: u64) -> SipHasher24 {
        SipHasher24 { hasher: Hasher::new_with_keys() }
    }
}

impl<S> Hasher<S> {
    #[inline]
    fn new_with_keys() -> Hasher<S> {
        Hasher {
            _marker: PhantomData,
        }
    }
}

I expected to see this happen: Compiles

Instead, this happened:

<source>:15:31: error: type annotations needed
   15 |         SipHasher24 { hasher: Hasher::new_with_keys() }
      |                               ^
<source>:15:39: error: type annotations needed
   15 |         SipHasher24 { hasher: Hasher::new_with_keys() }
      |                                       ^
<source>:22:9: error: type annotations needed
   22 |         Hasher {
      |         ^
Compiler returned: 1

Meta

• What version of Rust GCC were you using, git sha if possible.

gccrs (Compiler-Explorer-Build-gcc-8809ee8c6a5621e830f3cfe66c381f986e63c7f2-binutils-2.38) 12.0.1 20220118 (experimental)