blob: 43ba5414659882209cc99668b2eff2ce96e61320 [file] [log] [blame] [edit]
//@ 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() {}