1 2 3 4 5 6 7
//error: top-level protocol `noEmptyToplevel' cannot be empty protocol noEmptyToplevel { // it's an error for top-level protocols to be empty };