Rust match bound non-exhaustive patterns when all possible patterns for `char` are handled

[Arthurdw]

I tried this code:

fn main() {
    let val = "(hello({()}))";
    let mut destruct = Vec::new();

    for c in val.chars() {
        match c {
            sel @ ('(' | '{' | '[') => destruct.push(match sel {
                // If I'm correct, the only possible value `sel` can have here should be any of these 3
                // Yet rust wants me to add a catch-all arm
                '(' => ')',
                '{' => '}',
                '[' => ']'
            }),
            sel @ (')' | '}' | ']') => if destruct.len() > 0 && *destruct.last().unwrap() == sel { destruct.pop().unwrap(); },
            _ => ()
        }
    }

    println!("{}", destruct.len() == 0);
}

I expected to see this happen:
No error to occur and that it compiles peacefully

Instead, this happened:

error[E0004]: non-exhaustive patterns: `'\0'..='\''`, `')'..='Z'`, `'\\'..='z'` and 2 more not covered
 --> src\main.rs:7:60
  |
7 |             sel @ ('(' | '{' | '[') => destruct.push(match sel {
  |                                                            ^^^ patterns `'\0'..='\''`, `')'..='Z'`, `'\\'..='z'` and 2 more not covered
  |
  = note: the matched value is of type `char`
help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
  |
12~                 '[' => ']',
13+                 _ => todo!()
  |

For more information about this error, try `rustc --explain E0004`.
error: could not compile `bug-match` due to previous error

Meta

rustc --version --verbose:

rustc 1.67.1 (d5a82bbd2 2023-02-07)
binary: rustc
commit-hash: d5a82bbd26e1ad8b7401f6a718a9c57c96905483
commit-date: 2023-02-07
host: x86_64-pc-windows-msvc
release: 1.67.1
LLVM version: 15.0.6

Also happens on:

rustc 1.70.0-nightly (900c35403 2023-03-08)
binary: rustc
commit-hash: 900c3540378c8422b8087ffa3db60fa6c8abfcad
commit-date: 2023-03-08
host: x86_64-pc-windows-msvc
release: 1.70.0-nightly
LLVM version: 15.0.7

[Noratrieb]

Rust doesn't currently do this kind of "context based" narrowing required for this to work. This may be related to "pattern types" which have seen some work recently, but nothing we'll get in the near future.