[LesterEvSe]

Description

This PR adds poisoning for use declaration blocks. So if we have an incorrect name in the items block, we raise only one error for it. After this PR, if the UseDecl is correct, we analyze it even if its UseItems are broken or the entire UseDecl is private.

For this code:

mod math {
    pub fn double(a: u32) -> u32 { a }
    fn secret() -> u32 { 7 }
}

use crate::math::{double, triple, secret};

fn helper() -> u32 {
    let x: u32 = triple(1);
    unknown
}

fn main() {
    let a: u32 = double(1);
    let c: u32 = secret();
    let d: bool = a;
}

On master there is only one error:

Item `triple` could not be found

With this PR:

Item `triple` could not be found
Item `secret` is private
Variable `unknown` is not defined
Expected expression of type `bool`, found type `u32`

Checklist

• New or changed language features are used in fixtures/kitchen_sink.simf (see its header).