On Wed, 6 Sep 2023 21:15:28 GMT, Zhao Song <zsong at openjdk.org> wrote: > As Erik said in the issue description, it's better to throw an exception here. Thanks for the review! ------------- PR Comment: https://git.openjdk.org/skara/pull/1555#issuecomment-1716161662