The fact that the pattern matches.

Here the type being matched is:

    enum Option<T> {
        None,
        Some(T)
    }

    let x = Some(42);
    let Some(y) = x else { panic!("None") };