On: 11 year old unsoundness bugs found in Rust borrow checker

[foldr]

In this case the issue is that the compiler just isn't properly type checking the implicit call to the drop method that's inserted at the end of the nested block. AFAIK, no correct code should depend on the absence of that check.