On Wed, 7 May 2025 18:10:36 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> I mean, if B strictly implies A, then B is more restrictive (stronger). Since > B is equivalent to your original formulation, to me it means that it was more > restrictive. Exactly. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/24690#discussion_r2078224687
