Description Clovis Seragiotto 2016-08-24 09:57:30 EDT

By refactoring the class Bar below (using "Refactor/Move Type to New File"), the class Bar in the new file created does not get any @NonNull or @NonNullByDefault, resulting in a warning at the site where "foo" is called ("The expression of type 'Object' needs unchecked conversion to conform to '@NonNull Object'")

@NonNullByDefault({ PARAMETER, RETURN_TYPE, FIELD, TYPE_PARAMETER, TYPE_BOUND, TYPE_ARGUMENT, ARRAY_CONTENTS })
class Foo {
    static void foo(Object a) {
        System.out.println(a);
    }
    
    static class Bar {
        static void bar(Object b) {
            foo(b);
        }
    }
}

--- AFTER ---