package test1;
import java.util.Map;
import org.eclipse.jdt.annotation.*;
@NonNullByDefault
public class Test1 {
void test(Map<String,Test1> map, String key) {
Test1 v = map.get(key);
if (v == null)
throw new RuntimeException(); // should not be reported as dead code, although V is a '@NonNull Test1'
}
}