Simon Peyton Jones authored Oct 21, 2020 and Marge Bot committed Oct 23, 2020

Ticket #18856 showed that we were failing to set the right location
for an error message.  Easy to fix, happily.

Turns out that this also improves the error location in test T11010,
which was bogus before but we had never noticed.