Consider the following:

@TypeChecked test(foo) {
  foo.bar  = null
}

The range of "foo.bar" extends to include the trailing whitespace. This can be seen when an error is marked in the editor.