disallow-possibly-uninitialized.rs

// Test that we don't allow partial initialization.
// This may be relaxed in the future (see #54987).

fn main() {
    let mut t: (u64, u64);
    t.0 = 1;
    //~^ ERROR E0381
    t.1 = 1;

    let mut t: (u64, u64);
    t.1 = 1;
    //~^ ERROR E0381
    t.0 = 1;

    let mut t: (u64, u64);
    t.0 = 1;
    //~^ ERROR E0381

    let mut t: (u64,);
    t.0 = 1;
    //~^ ERROR E0381
}

//
// ferrocene-annotations: fls_3xvm61x0t251
// Initialization