Autodoc: stage2 miscompilation workaround

There is no issue open for this yet; I will file one after pushing this
commit.
42b2fb4c5dAndrew Kelley committed on 7/20/2022, 2:55:12 AMparentaa1a06b
1 file changedLine totals unavailable