any Error: Error については、 throws Error が throws と等価であることを扱うためにも意味あるんじゃないでしょうか。