I am confused about the locations of diagnostics reported by the LSP.

Consider the yellow underlines the image below.

In the symbol declarations, the name of the symbol and semicolon are annotated, with an 'OK' message on hover.

For rule, compute, type commands, etc., the entire line is annotated.

Is there any reason for this? Is it a bug?