How does an empty pair of “proof qed” work in Isabelle?

Question

In the Isabelle 2020 documentation, classes.pdf pp.10, there is a strange-looking proof sequence: proof qed auto (separated into three lines for illustration pu