Adnotacja typu wymagana podczas używania `as_ref()` w `assert_eq!()`

Question

Używam nowych ogólnych cech konwersji w moim kodzie i doświadczam zmniejszonej ergonomii. Ten kod implementuje AsRef<str> for [Ascii], jak widać w przykładzie.

Teraz chcę użyć v.as_ref() w assert_eq!() i oczekiwać, że v.as_ref() zwraca &str za pomocą dostarczonego realizację ponieważ drugi argument assert_eq!() jest typu &str.

Nie ma implementacji AsRef<String> for [Ascii], więc moim zdaniem w grę wchodzi tylko jedna implementacja PartialEq: PartialEq<str> for &str.

Kompilator nie stosuje się do moich wyjaśnień i narzeka na adnotacje typu wymaganego. Jak mogę uniknąć wyraźnej adnotacji i dlaczego kompilator nie może znaleźć prawidłowej implementacji AsRef<_>?

Dzięki

#![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"); 
} 

kojec link: 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

Spójrz na listed implementors of AsRef w dokumentacji w sposób bardziej szczegółowy i można zauważyć, że istnieje inna realizacja, która zderza się tam: impl<T> AsRef<[T]> for [T]. Więc nie może zdecydować, czy v.as_ref() powinien być typu &str lub &[Ascii].