"prova!" macro smesso di funzionare dopo Rust aggiornamento

Question

Ecco un testcase semplice, che funziona ancora sul playpen:

use std::num; 
use std::str::FromStr; 
use std::convert::From; 

#[derive(Debug)] 
struct Error(String); 

impl From<num::ParseFloatError> for Error { 
    fn from(err: num::ParseFloatError) -> Error { 
     Error(format!("{}", err)) 
    } 
} 

fn parse(s: &String) -> Result<f64, Error> { 
    Ok(try!(<f64 as FromStr>::from_str(&s[..]))) 
} 

fn main() { 
    println!("{:?}", parse(&"10.01".to_string())); 
} 

Tuttavia, dopo che ho costruito l'ultimo rustc da Git (ora è rustc 1.1.0-dev (1114fcd94 2015-04-23)), si è fermato compilazione con seguente errore :

<std macros>:6:1: 6:32 error: the trait `core::convert::From<core::num::ParseFloatError>` is not implemented for the type `Error` [E0277] 
<std macros>:6 $ crate:: convert:: From:: from (err)) } }) 
       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 
<std macros>:1:1: 6:48 note: in expansion of try! 
exp.rs:15:8: 15:48 note: expansion site 
error: aborting due to previous error 

Non riesco a scoprire cosa c'è che non va. Perché il compilatore non è in grado di trovare la mia implementazione del tratto?

Answer 1

Questo appare come si tratta di un bug: std::num::ParseFloatError e <f64 as FromStr>::Err sono diversi tipi:

• la impl di FromStr per f64 è in core, e quindi utilizza a ParseFloatError type defined in that crate, quindi eventuali utilizzi di FromStr/.parse() avranno questo tipo .
• std::num definisce un new ParseFloatError type, quindi un'importazione da std::num ottiene questo.

Il impl From<num::ParseFloatError> for Error utilizza quest'ultimo, mentre <f64 as FromStr>::from_str(...) restituisce il primo.

Ho aperto #24748 su di esso. Ho anche aperto #24747 sul miglioramento della diagnostica per rendere più facile il debug in futuro.

Uno può aggirare questo implementando invece il tratto per core::num::ParseFloatError. Avrai bisogno di caricare la cassa core con extern crate core; e avrà bisogno di alcune porte di funzionalità.