Historical Rules · 13 October 2023
Rule 614.11
Official source text from the 13 October 2023 Rules release
Some effects replace card draws. These effects are applied even if no cards could be drawn because there are no cards in the affected player’s library.