The interface can define a type parameter bounded to Throwable, and declare methods that throw that. But in general, of course an implementation can't just ran

The interface can define a type parameter bounded to Throwable, and declare methods that throw that. But in general, of course an implementation can't just randomly add checked exceptions, because that would violate the Liskov substitution principle.