I’m surprised about that since the compiler needs to check the correctness of the intent anyway so it doesn’t feel like that should give any more information.
In Julia, there is the convention of adding a ! to the end of a function that mutates an argument and has that argument be the first one, see Style Guide · The Julia Language.