module test;
import std::io;

fn void main()
{
	int a;
	switch (a)
	{
		case 1:
			nextcase 0; // #error: There is no 'case 0'
		default:

    }
}