P.S. Kenji and I have agreed before that adding line declarations like this usually makes the diagnostic harder to read (because the lines don't match in the editor). For this simple case I guess it's ok, but for more complex test-cases where there are multiple diagnostics I'd advise avoiding using them.