fn main() {
    let mut a;
    a = a = true; //~ ERROR mismatched types
}