Struct rustc_infer::traits::util::PredicateSet

pub(in traits::util) struct PredicateSet<'tcx> {
    tcx: TyCtxt<'tcx>,
    set: FxHashSet<Predicate<'tcx>>,
}

Fields

tcx: TyCtxt<'tcx>

set: FxHashSet<Predicate<'tcx>>

Implementations

impl<'tcx> PredicateSet<'tcx>

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

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

Trait Implementations

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

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

Extends a collection with the contents of an iterator.

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

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

Extends a collection with exactly one element.

pub 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.