Shouldn't main's generated args be const?

[KendallHarter]

Currently, the args generated by cppfront in main isn't const (see here) which seems to create an inconsistency within the language.
For example, the following will compile because args isn't const:

main: (args) = {
    args.pop_back();
}

The seemingly identical following code will fail to compile, though, because args will be const here

not_main: (args: std::vector<std::string_view>) = {
    args.pop_back();
}

Is this an intentional design decision/special case for main? As far as my understanding goes, it shouldn't be mutable as it's an in parameter, but maybe I'm missing something.

[realgdman]

(At least in C, argv is mutable and can be used for scratchpad memory.)
Nvm, found out there is args.mutable_argv for that.

[JohelEGP]

I'd say it's an accident.
There's plans to make it a model of std::ranges::view to avoid allocations.

[hsutter]

Thanks! Good point, this was an oversight.

[hsutter]

Fixed: 32a72fc