Struct MonoSet 

pub struct MonoSet<'tcx> {
    pub monos: Vec<Mono<'tcx>>,
}

Fields

monos: Vec<Mono<'tcx>>

Implementations

impl<'tcx> MonoSet<'tcx>

pub fn all(identity: &[GenericArg<'tcx>]) -> MonoSet<'tcx>

pub fn empty() -> MonoSet<'tcx>

pub fn count(&self) -> usize

pub fn at(&self, no: usize) -> &Mono<'tcx>

pub fn is_empty(&self) -> bool

pub fn new() -> MonoSet<'tcx>

pub fn insert(&mut self, mono: Mono<'tcx>)

pub fn merge( &mut self, other: &MonoSet<'tcx>, tcx: TyCtxt<'tcx>, ) -> MonoSet<'tcx>

fn filter_unbound_solution(self) -> Self

fn instantiate_unbound(&self, tcx: TyCtxt<'tcx>) -> Self

fn erase_region_var(&mut self, tcx: TyCtxt<'tcx>)

pub fn filter(self, f: impl Fn(&Mono<'tcx>) -> bool) -> Self

fn filter_by_trait_bound(self, fn_did: DefId, tcx: TyCtxt<'tcx>) -> Self

pub fn random_sample<R: Rng>(&mut self, rng: &mut R)

Trait Implementations

impl<'tcx> Clone for MonoSet<'tcx>

fn clone(&self) -> MonoSet<'tcx>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for MonoSet<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> Default for MonoSet<'tcx>

fn default() -> MonoSet<'tcx>

Returns the “default value” for a type.