It is possible to write to a field of an uninitialized struct

[matklad]

It is impossible to read a filed of uninitialized struct, but for some reason the write is allowed (but you can't read it back later):

struct S {x: i32, y: i32}

fn main() {
    let mut s: S;
    s.x = 32;           // why I don't get an error here,
    s.y = 12;
    println!("{}", s.x) // but get it here instead?
}

Originally reported at https://users.rust-lang.org/t/use-of-possibly-uninitialized-variable-on-an-initialized-variable/4799/4

[Aatch]

This is fundamentally the same issue as #21232, as the analysis treats uninitialized variables and moved ones essentially the same way.

Closing as a duplicate of that.