I think we may generalize this to "Const missing for unmodified record parameter"

I'm sorry for the inconvenience, but a line where this rule triggers has been changed (there was a number of users requests). You need to move your comment on the 'begin' line.

To figure out where to put your ignore-comment, double click on a warning in Messages window and see what line is highlighted.

For instance,

procedure TDummySplashForm.SetAbortVisible(_Value: Boolean); 
begin //FI:W519 - do nothing 
  // do nothing
end;

//FI:ignore

implemented in FixInsight 2015.11