org.jboss.weld.util.reflection.HierarchyDiscovery's documentation reads, in part:

"Utility class that discovers [the] transitive type closure of a given type."

This public class is underspecified. I'd like to pin down exactly how it is underspecified and hopefully help its specification match its actual behavior, or vice versa.

My main question is: what is the definition of a "transitive type closure" (according to this class)?

(Based on the observed behavior of the class, it is not the "reflexive and transitive closure over the direct supertype relation" (JLS 4.10).)

Best,

Laird