27978, "DanilaFe", "[Bug]: ownership-generic field warning not emitted without calling the constructor", "2025-10-29T17:29:04Z"
The following program:
class C {
var x: C;
}
var r = new C(nil);
Philosophically, this program deserves a warning for being "ownership generic". However, the warning only fires after an instantiation is created; thus, in the program above, where the new C(nil) is not a valid call due to x being non-nilable, no warning is emitted.