Struct rustc_infer::traits::util::PredicateSet

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

Fields

tcx: TyCtxt<'tcx>

set: FxHashSet<Predicate<'tcx>>

Implementations

impl<'tcx> PredicateSet<'tcx>

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

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

Trait Implementations

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

fn extend<I: IntoIterator<Item = Predicate<'tcx>>>(&mut self, iter: I)

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