Confusing Error Utilizing `let_chains`

[HTGAzureX1212]

rustc --version --verbose:

rustc 1.58.0-nightly (495322d77 2021-11-08)
binary: rustc
commit-hash: 495322d776fd6f679cd8cd4ca02b8fa834da654b
commit-date: 2021-11-08
host: x86_64-pc-windows-msvc
release: 1.58.0-nightly
LLVM version: 13.0.0

Code:

// #![feature(let_chains)]

if let SelectScope::Fields(fields) = self.scope && self.constraint.is_none() {
    /* snip */
    if let Some(field) = fields
        .iter()
        .find(|name| {
            table_columns_iter
                .find(|ref_multi| ref_multi.key() == *name)
                .is_none()
        })
    /* snip */

Error Output:

error[E0381]: borrow of possibly-uninitialized variable: `fields`
   --> src\ql\select.rs:108:34
    |
108 |               if let Some(field) = fields
    |  __________________________________^
109 | |                 .iter()
    | |_______________________^ use of possibly-uninitialized `fields`

For more information about this error, try `rustc --explain E0381`.

Is it me, or is the error being a bit confusing, that shouldn't fields be already initialized due to the if let, being only assigned to if the value is indeed SelectScope::Fields(<field vector>) (or am I misunderstanding things)? Thanks.

[jplatte]

Here's a simplified example (Playground):

#![feature(let_chains)]

fn main() {
    let x = Some(vec!["test"]);
    
    if let Some(v) = x && v.is_empty() {
        println!("x == Some([])");
    }
}

Let's see whether labeling via rustbot works...

@rustbot label: +C-bug +F-let_chains +T-compiler

[Patrick-Poitras]

This is similar to #92145.

[c410-f3r]

This issue can be closed

[HTGAzureX1212]

Issue Closed with the merge of #88642.