Целочисленная операция с границей при переполнении в Rust

Проблема, с которой я столкнулся недавно, требует выполнения целочисленных операций с границей на основе битов целочисленного типа.

Например, используя целое число i32 для выполнения add операции, вот фрагмент псевдокода, чтобы представить идею:

sum = a + b
max(min(sum, 2147483647), -2147483648)

// if the sum is larger than 2147483647, then return 2147483647.
// if the sum is smaller than -2147483648, then return -2147483648.

Для этого я наивно написал уродливый код:

fn i32_add_handling_by_casting(a: i32, b: i32) -> i32 {
    let sum: i32;
    if (a as i64 + b as i64) > 2147483647 as i64 {
        sum = 2147483647;
    } else if (a as i64 + b as i64) < -2147483648 as i64 {
        sum = -2147483648;
    } else {
        sum = a + b;
    }
    sum
}

fn main() {
    println!("{:?}", i32_add_handling_by_casting(2147483647, 1));
    println!("{:?}", i32_add_handling_by_casting(-2147483648, -1));
}

Код работает хорошо; но мое шестое чувство подсказало мне, что использование преобразования типов проблематично. Таким образом, я попытался использовать традиционную обработку паники (исключений), чтобы справиться с этим ... но я застрял с приведенным ниже кодом (результат паники не может обнаружить переполнение или переполнение):

use std::panic;

fn i32_add_handling_by_panic(a: i32, b: i32) -> i32 {
    let sum: i32;
    let result = panic::catch_unwind(|| {a + b}).ok();
    match result {
        Some(result) => { sum = result },
        None => { sum = ? }                                                              
    }
    sum
}

fn main() {
    println!("{:?}", i32_add_handling_by_panic(2147483647, 1));
    println!("{:?}", i32_add_handling_by_panic(-2147483648, -1));
} 

Подводя итог, у меня 3 вопроса:

1. Подходит ли мое решение для преобразования типов в язык строгой типизации? (Если возможно, мне нужно объяснение, почему это действительно или недействительно.)
2. Есть ли другой лучший способ справиться с этой проблемой?
3. Может ли паника обрабатывать разные исключения отдельно?