ThisSuper.java

import testlib.flowexpression.qual.FlowExp;
// @skip-test
public class ThisSuper {
    static class SuperClass {
        protected final Object field = new Object();

        private @FlowExp("field") Object superField;
    }

    static class SubClass extends SuperClass {
        /* Hides SuperClass.field */
        private final Object field = new Object();

        private @FlowExp("field") Object subField;

        void method() {
            // super.superField : @FlowExp("super.field")
            // this.subField : @FlowExp("this.field")
            //:: error: (assignment.type.incompatible)
            this.subField = super.superField;
            //:: error: (assignment.type.incompatible)
            super.superField = this.subField;

            @FlowExp("super.field")
            Object o1 = super.superField;
            @FlowExp("this.field")
            Object o2 = this.subField;
        }
    }

    class OuterClass {
        private final Object lock = new Object();

        @FlowExp("this.lock")
        Object field;

        class InnerClass {
            private final Object lock = new Object();
            //:: error: (assignment.type.incompatible)
            @FlowExp("this.lock")
            Object field2 = field;
        }
    }
}