This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
It should be stated in 18.104.22.168 [basic.start.main] that it a program that defines main as deleted is ill-formed.
Proposed resolution (July, 2009):
Change 22.214.171.124 [basic.start.main] paragraph 3 as follows:
...A program that declares main to be inline, static, or constexpr is ill-formed...