This adds a better heuristic for the "main" location of a diagnostic: we take the first label with the "primary" style, instead of just the first label.
In practice, this means that contract errors point first to the location of the value that violates the contract (whereas previously they were pointing to the contract itself).
This adds a better heuristic for the "main" location of a diagnostic: we take the first label with the "primary" style, instead of just the first label.
In practice, this means that contract errors point first to the location of the value that violates the contract (whereas previously they were pointing to the contract itself).