Sto trasferendo QuickCheck in Rust e ho scritto tutto tranne for_all. Non sono sicuro di quale dovrebbe essere la firma del tipo, so solo che in generale, for_all accetterà una proprietà lambda e una
Il numero tutorial mostra alcuni esempi di corrispondenza del modello, ad esempio la corrispondenza su un numero intero per emulare un'istruzione switch di tipo c. Il tutorial mostra anche come esegui
Sono su Debian e seguendo le istruzioni di compilazione del wiki Rust: https://github.com/mozilla/rust/wiki/Doc-getting-started ho provato un paio di volte, ma si finisce sempre con il seguente errore