Struct rustc_infer::traits::util::PredicateSet

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

Fields

tcx: TyCtxt<'tcx>

set: FxHashSet<Predicate<'tcx>>

Implementations

impl<'tcx> PredicateSet<'tcx>

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

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.