A capability class that allows to throw exceptionE. When used with the experimental.saferExceptions feature, athrow Ex() expression will require a given of classCanThrow[Ex] to be available.
E
throw Ex()
CanThrow[Ex]