Historical Rules · 14 April 2023
Rule 121.4
Official source text from the 14 April 2023 Rules release
A player who attempts to draw a card from a library with no cards in it loses the game the next time a player would receive priority. (This is a state-based action. See rule 704.)