As a developer I want another case of type inference supported by the poly processor

[mmews-n4]

Example

class G<T> {
}
class X {
    public static field : G<?>;
}
class Y extends X {
    // XPECT noerrors --> "Type of static field Y.field must equal type of overridden static field X.field" at "field"
    @Override
    public static field = new G<string>;
}

Current workaround is to annotate the type from the superclass:
public static field : G<?> = new G<string>;