/* this should error out with some decent message about type loops or something
 * */
f(=>typeof main()){}
main(=> typeof f()){}