class Error1{};
class Error2{};

void foo() throw(Error1)
{
　throw Error2;
}
でfoo()が例外Error2を投げてしまうのは仕様ですか?