[PATCH v2 0/9] Use 'require' even more

[Tom Tromey]

Here's v2 of the series to use 'require' even more.

v1 was here:

    https://sourceware.org/pipermail/gdb-patches/2023-January/196054.html

I think this addresses all the review comments.

Tom