たとえば、FunctionにEとthrows付けても、Neverがあっても