GetRefArg.java

import java.lang.reflect.*;
import org.checkerframework.checker.nullness.qual.*;

public class GetRefArg {
    private void get_ref_arg(Constructor<?> constructor) throws Exception {
        Object val = constructor.newInstance();
        //:: warning: (known.nonnull)
        assert val != null;
    }
}