UI tests should check that //~ annotations actually match an error on that line #2131
Description
Right now we just check that the annotation exists
Originally posted by @RalfJung in #2032 (comment)
- check that annotation happens on that line
- check that multiple errors in the same line have multiple annotations