Unexpected dead code warning.

SessionCallback<List<Object>> obj;

    public void method() throws TransactionException {
        StringRedisTemplate stringRedisTemplate = resourcePool.template();
        var res = obj.execute(stringRedisTemplate);// @Nullable <K, V> T execute(RedisOperations<K, V> operations) throws DataAccessException;
        if (res == null) {
            System.out.println("Direct execution is not Dead Code");
        }
        List<Object> results = stringRedisTemplate.execute(new SessionCallback<List<Object>>() {
            @Override
            @Nullable
            public <K, V> List<Object> execute(@NonNull RedisOperations<K, V> operations) throws DataAccessException {
                operations.multi();
                return null;
            }
        });
        // @Override public <T> T StringRedisTemplate::execute(SessionCallback<T> session) {
        // 	...
        // 	try {
        // 		return session.execute(this); -> this is NullAble
        // 	} finally {
        // 		RedisConnectionUtils.unbindConnection(factory);
        // 	}
        // }
        if (results == null) {
            throw new TransactionException("Transaction failed, please retry") {
            };
        }
    }

Minimal reproduce repo

Bắt đầu với repository tái hiện tối thiểu được liên kết trong issue và chạy đoạn Java kích hoạt cảnh báo dead-code. So sánh cảnh báo với các đường dẫn thực thi nullable được hiển thị và chẩn đoán đính kèm; được xem là hoàn tất khi hành vi của cảnh báo được xử lý chính xác hoặc được tái hiện rõ ràng cho các maintainer của dự án.