fn f() -> bool {
    let a;
    let mut b: bool;
    let c = false;
    a = true;

    type c = i32;
    let f!(A);
}