On Mon, Nov 10, 2025 at 12:53 PM Alice Ryhl aliceryhl@google.com wrote:
Maybe we should also allow disallowed_names in doc tests?
Not sure -- I thought it may point people to try to come up with better names in examples. On the other hand, for abstract facilities, it is true that there may not be good names anyway.
Cheers, Miguel