~~#38163 claims to fix #38159, but does not provide a test showing this.~~ ~~Thus, if #38163 is closed, it will trigger closing #38159. Thus the claim should be removed, or a~~ followup PR or issue opened.