È richiesta l'annotazione del tipo quando si utilizza `as_ref()` in `assert_eq!()`

Question

Sto utilizzando i nuovi tratti di conversione generici nel mio codice e l'ergonomia ridotta. Il codice in questione implementa AsRef<str> for [Ascii] come si può vedere nell'esempio.

Ora voglio usare v.as_ref() in assert_eq!() e si aspettano che v.as_ref() restituisce un &str usando l'implementazione prevista perché il secondo argomento di assert_eq!() è di tipo &str.

Non esiste un'implementazione di AsRef<String> for [Ascii] quindi a mio parere solo una implementazione di PartialEq entra in gioco: PartialEq<str> for &str.

Il compilatore non segue la mia spiegazione e si lamenta delle annotazioni del tipo richieste. Come posso evitare l'annotazione esplicita e perché il compilatore non può capire l'implementazione corretta di AsRef<_>?

Grazie

#![feature(convert)] 

struct Ascii { chr: u8 } 

impl AsRef<str> for [Ascii] { 
    fn as_ref(&self) -> &str { 
     unsafe { ::std::mem::transmute(self) } 
    } 
} 

fn main() { 
    let v = [Ascii { chr: 65 }, Ascii { chr: 66 }]; 
    assert_eq!(v.as_ref(), "AB"); 
    // Workaround: explicit type annotation. 
    //assert_eq!(AsRef::<str>::as_ref(&v[..]), "AB"); 
} 

collegamento box: http://is.gd/ZcdqXZ

<anon>:15:18: 15:26 error: type annotations required: 
    cannot resolve `[Ascii] : core::convert::AsRef<_>` [E0283] 
<anon>:15  assert_eq!(v.as_ref(), "AB"); 
         ^~~~~~~~ 

Answer 1

sguardo al listed implementors of AsRef nella documentazione in modo più dettagliato e si scopre che c'è un altro implementazione che si scontra lì: impl<T> AsRef<[T]> for [T]. Quindi non può decidere se v.as_ref() deve essere di tipo &str o &[Ascii].