empty default case in `@jump` switch does not fallthrough

[Book-reader]

import std::io;

fn int main(String[] args)
{
	switch (1) @jump
	{
		default:
		case 3:
		 	io::printfn("any number");
	}
	return 0;
}

nothing is printed when the program is run. removing @jump or adding explicit nextcase fixes it

[lerno]

It looks like this is explicitly for default, all other fallthrough works properly.

[lerno]

This should work now.

[Book-reader]

Fixed, thank you!