8327790: Improve javadoc for ResolvedJavaType.hasFinalizableSubclass

Reviewed-by: gdub, never

src/jdk.internal.vm.ci/share/classes/jdk/vm/ci/meta/ResolvedJavaType.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2009, 2016, Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2009, 2024, Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -40,10 +40,12 @@ public interface ResolvedJavaType extends JavaType, ModifiersProvider, Annotated
     boolean hasFinalizer();
 
     /**
-     * Checks whether this type has any finalizable subclasses so far. Any decisions based on this
-     * information require the registration of a dependency, since this information may change.
+     * Checks whether this type might have finalizable subclasses. Any decisions based on a
+     * negative answer require the registration of a dependency, since this information may change.
+     * For example, dynamic class loading can later load a finalizable subclass.
      *
-     * @return {@code true} if this class has any subclasses with finalizers
+     * @return an {@link AssumptionResult} specifying if this class may have any subclasses with
+     *         finalizers along with any assumptions under which this answer holds
      */
     AssumptionResult<Boolean> hasFinalizableSubclass();