Warning for uninitialised fields

[Thierry Delisle]

Given the following code, it would be nice to have a warning that field a will be uninitialised.

struct Test {
        int a;
        int b;
};

void ?{}(Test & this) {
        this.b = 0;
}