InferMethod.java

// From issue #216:
// https://github.com/typetools/checker-framework/issues/216

public class InferMethod {
    public abstract static class Generic<T> {
        public class Nested {
            public void nestedMethod(T item) {}
        }

        public static class NestedStatic<TInner> {
            public void nestedMethod2(TInner item) {}
        }

        public abstract void method();

        public abstract void method2();

        public void method3(T item) {}
    }

    public static class Concrete extends Generic<String> {

        @Override
        public void method() {
            Nested o = new Nested();
            o.nestedMethod("test");
        }

        @Override
        public void method2() {
            NestedStatic<String> o = new NestedStatic<>();
            o.nestedMethod2("test");

            this.method3("test");
        }
    }
}