if let式.

if let式は、match式で1つのパターンだけを処理し残りは無視したい場合に使う糖衣構文とみなせます¹。パターンが一致したときだけブロックを実行し、一致しない場合の処理はelseに書けます。matchのように列挙型が取りうる値をすべて網羅する必要はなく、その分簡潔に書けますが、網羅性チェックは働きません。

enum Coupon {
    NotIssued,
    Discount(i32), // 割引額(円)
}

fn describe(coupon: Coupon) {
    if let Coupon::Discount(amount) = coupon {
        println!("{amount}円引きのクーポンです");
    } else {
        println!("クーポンはありません");
    }
}

fn main() {
    describe(Coupon::Discount(300));
    describe(Coupon::NotIssued);
}

等価なmatch式

上記の例は、以下のmatch式と同じ意味です。「1つのパターンにマッチしたときだけ処理し、それ以外は無視する」という書き方を短く表現したものと考えられます¹。

enum Coupon {
    NotIssued,
    Discount(i32),
}

fn describe(coupon: Coupon) {
    match coupon {
        Coupon::Discount(amount) => println!("{amount}円引きのクーポンです"),
        _ => println!("クーポンはありません"),
    }
}

fn main() {
    describe(Coupon::Discount(300));
    describe(Coupon::NotIssued);
}

elseとの組み合わせ

elseは、等価なmatch式における包括パターン（_のアーム）と同じ役割です¹。省略した場合は、パターンに一致しないときは何もせずif let式全体がユニット型()の値になります²。実務ではOption型のSomeから値を取り出す用途で使うことが最も多く、if let Some(値) = option { ... }という形をよく見かけます。

補足