//@ check-pass | |
use std::convert::TryFrom; | |
pub trait FieldElement { | |
type Integer: TryFrom<usize, Error = std::num::TryFromIntError>; | |
fn valid_integer_try_from<N>(i: N) -> Result<Self::Integer, ()> | |
where | |
Self::Integer: TryFrom<N>, | |
{ | |
Self::Integer::try_from(i).map_err(|_| ()) | |
} | |
} | |
fn main() {} |