Historical Rules · 8 July 2017
Rule 614.11
Official source text from the 8 July 2017 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.