Historical Rules · 14 June 2019
Rule 120.3
Official source text from the 14 June 2019 Rules release
If there are no cards in a player’s library and an effect offers that player the choice to draw a card, that player can choose to do so. However, if an effect says that a player can’t draw cards and another effect offers that player the choice to draw a card, that player can’t choose to do so.