Safety: Field "v" is not nullable thus should have an initial value or should be initialized in constructor for getter

[restorer]

class Bug8 {
    // Safety: Field "v" is not nullable thus should have an initial value or should be initialized in constructor.
    public var v(get, never) : Int;

    public function get_v() : Int {
        return 42;
    }
}

See https://github.com/restorer/haxe-safety-bugs/blob/master/safetybugs/Main.hx#L115 for working example.

[restorer]

This is for Haxe 4.0.0-preview.5 and Safety from master.

[RealyUniqueName]

Fixed here: https://github.com/HaxeFoundation/haxe/pull/7717