Struct PredicateSet

pub struct PredicateSet<'tcx> {
    tcx: TyCtxt<'tcx>,
    set: HashSet<Predicate<'tcx>, FxBuildHasher>,
}

Fields

tcx: TyCtxt<'tcx>

set: HashSet<Predicate<'tcx>, FxBuildHasher>

Implementations

impl<'tcx> PredicateSet<'tcx>

pub fn new(tcx: TyCtxt<'tcx>) -> PredicateSet<'tcx>

pub fn insert(&mut self, pred: Predicate<'tcx>) -> bool

Adds a predicate to the set.

Returns whether the predicate was newly inserted. That is:

• If the set did not previously contain this predicate, true is returned.
• If the set already contained this predicate, false is returned, and the set is not modified: original predicate is not replaced, and the predicate passed as argument is dropped.

Trait Implementations

impl<'tcx> Extend<Predicate<'tcx>> for PredicateSet<'tcx>

fn extend<I>(&mut self, iter: I)

where I: IntoIterator<Item = Predicate<'tcx>>,

Extends a collection with the contents of an iterator.

fn extend_one(&mut self, pred: Predicate<'tcx>)

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

Extends a collection with exactly one element.

fn extend_reserve(&mut self, additional: usize)

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

Reserves capacity in a collection for the given number of additional elements.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 40 bytes