codeql/csharp/ql/test/library-tests/dataflow/fields/E.cs

public class E
{
    struct S
    {
        public object Field;
    }

    static S CreateS(object o)
    {
        var ret = new S();
        ret.Field = o;
        return ret;
    }

    static void NotASetter(S s, object o)
    {
        s.Field = o;
    }

    private void M()
    {
        var o = Source<object>(1);
        var s = CreateS(o);
        Sink(s.Field); // $ hasValueFlow=1

        s = new S();
        NotASetter(s, o);
        Sink(s.Field); // no flow
    }

    public static void Sink(object o) { }

    static T Source<T>(object source) => throw null;
}