framework/tests/framework/GenericTest4.java

import java.util.Map;
import org.checkerframework.framework.testchecker.util.*;

// Test case for Issue 134:
// https://github.com/typetools/checker-framework/issues/134
// Handling of generics from different enclosing classes.

public class GenericTest4 {
  public interface Foo {}

  class Outer<O> {
    O getOuter() {
      return null;
    }

    class Inner<I> {
      O getInner() {
        return null;
      }

      I setter1(O p) {
        return null;
      }

      O setter2(I p) {
        return null;
      }

      Map<O, I> wow(Map<O, I> p) {
        return null;
      }
    }
  }

  class OuterImpl extends Outer<Foo> {
    void test() {
      Foo foo = getOuter();
    }

    class InnerImpl extends Inner<@Odd String> {
      void test() {
        Foo foo = getInner();
        String s = setter1(foo);
        foo = setter2(s);
      }

      void testWow(Map<Foo, @Odd String> p) {
        p = wow(p);
      }

      void testWow2(Map<Foo, String> p) {
        // :: error: (assignment) :: error: (argument)
        p = wow(p);
      }
    }
  }

  // Add uses from outside of both classes.
}