Module def_id_forest
rustc_middle::ty::inhabitedness
Represents a forest of DefIds closed under the ancestor relation. That is, if a DefId representing a module is contained in the forest then all DefIds defined in that module or submodules are also implicitly contained in the forest.
DefId