Simon Peyton Jones authored Dec 06, 2023 and Zubin committed Jan 30, 2024

This MR fixes a very subtle bug exposed by #24242.

See Note [Environment for simplLetUnfolding].

I also updated a bunch of Notes on shadowing

(cherry picked from commit d8baa1bd)