Reading the C++17 draft ยง3.6.1/2:
… and it shall have a declared return type of type
int, …
So yes I would say it’s forbidden to use deduction.
Almost the exact same wording in the last C++14 draft (same section as the C++17 draft):
It shall have a declared return type of type
int, …
Just a personal reflection on the possible reasoning behind this, after reading comments and other answers. The reasoning return-type deduction is not allowed is (I think) because then the return type isn’t known by the compiler until it sees a return statement. It’s also not uncommon that other types (that are implicitly convertible to int) might be returned which would make the deduced type wrong. Declaring the return type up-front (either by the normal old-fashioned way, or by using trailing return type) will set the type when the function is declared, and can be checked by the compiler then and there to be correct.
As for allowing type-aliases, they are just aliases of a type. So allowing e.g.
typedef int my_type;
my_type main() { ... }
is really no different from
int main() { ... }