Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs: Delete inaccurate, confusing block (#11357)
The code snippet no longer uses `push_scope`. This block is incorrect as a result. Rather than fix the block, I think it makes more sense simply to delete it. I think the page already provides enough context around what we are doing.
- Loading branch information