Folkert's suggestions

This commit is contained in:
ayazhafiz 2022-02-01 23:42:28 -05:00
parent df8113ce32
commit ae5766fdf5
3 changed files with 5 additions and 5 deletions

View file

@ -328,10 +328,10 @@ impl TypedNumericBound for NumericBound<FloatWidth> {
impl TypedNumericBound for NumericBound<NumWidth> {
fn concrete_num_type(&self) -> Option<Type> {
match *self {
match self {
NumericBound::None => None,
NumericBound::Exact(NumWidth::Int(iw)) => NumericBound::Exact(iw).concrete_num_type(),
NumericBound::Exact(NumWidth::Float(fw)) => NumericBound::Exact(fw).concrete_num_type(),
NumericBound::Exact(NumWidth::Int(iw)) => NumericBound::Exact(*iw).concrete_num_type(),
NumericBound::Exact(NumWidth::Float(fw)) => NumericBound::Exact(*fw).concrete_num_type(),
}
}
}