Struct rustc::ty::inhabitedness::DefIdForest [] [src]

pub struct DefIdForest { /* fields omitted */ }
🔬 This is a nightly-only experimental API. (rustc_private)

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.

This is used to represent a set of modules in which a type is visibly uninhabited.

Methods

impl<'a, 'gcx, 'tcx> DefIdForest
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

Create an empty forest.

🔬 This is a nightly-only experimental API. (rustc_private)

Create a forest consisting of a single tree representing the entire crate.

🔬 This is a nightly-only experimental API. (rustc_private)

Create a forest containing a DefId and all its descendants.

🔬 This is a nightly-only experimental API. (rustc_private)

Test whether the forest is empty.

🔬 This is a nightly-only experimental API. (rustc_private)

Test whether the forest conains a given DefId.

🔬 This is a nightly-only experimental API. (rustc_private)

Calculate the intersection of a collection of forests.

🔬 This is a nightly-only experimental API. (rustc_private)

Calculate the union of a collection of forests.

Trait Implementations

impl Clone for DefIdForest
[src]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more