I don't think anyone cares more about good error messages for this class of errors than Niko. The error messages are already pretty good today, pointing to prec

I don't think anyone cares more about good error messages for this class of errors than Niko. The error messages are already pretty good today, pointing to precisely where a location was borrowed, and I'm sure it won't be allowed to regress, only improve.