[weld-dev] HierarchyDiscovery questions

org.jboss.weld.util.reflection.HierarchyDiscovery's documentation reads, in part: "Utility class that discovers [the] transitive type closure of a given 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