Is it necessary to declare a mutable object const if the function does not modify it, or is this a redundancy that is not required? For example:
const
#inc