TypeVarMemberSelect.java

import org.checkerframework.checker.regex.qual.*;

class Box<T extends @Regex(1) Object> {
    @Regex(1) T t1;

    T t2;
}

class TypeVarMemberSelect<V extends Box<@Regex(2) String>> {

    void test(V v) {
        //:: error: (assignment.type.incompatible)
        @Regex(2) String local1 = v.t1;

        // previously the type of the right hand side would have been T which is wrong
        // this test was added to make sure we call viewpoint adaptation when type variables are the receiver
        @Regex(2) String local2 = v.t2;
    }
}