I was about to suggest here that we should be explicit here about calling `rejectPromise(exception)`, but actually, I like it the way it is.  This current language allows the implementation to use any implementation-specific means to reject `promise`, which is nice.