Struct IsolatedParamFieldSubst

struct IsolatedParamFieldSubst {
    parameters: HashSet<usize>,
}

Fields

parameters: HashSet<usize>

Implementations

impl<'tcx> IsolatedParamFieldSubst

pub fn new() -> Self

pub fn parameters(&self) -> &HashSet<usize>

pub fn parameters_mut(&mut self) -> &mut HashSet<usize>

pub fn contains_param(&self) -> bool

Trait Implementations

impl Clone for IsolatedParamFieldSubst

fn clone(&self) -> IsolatedParamFieldSubst

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for IsolatedParamFieldSubst

type Result = ControlFlow<()>

fn visit_ty(&mut self, ty: Ty<'tcx>) -> Self::Result

fn visit_binder<T>(&mut self, t: &Binder<I, T>) -> Self::Result

where T: TypeVisitable<I>,

fn visit_region(&mut self, r: <I as Interner>::Region) -> Self::Result

fn visit_const(&mut self, c: <I as Interner>::Const) -> Self::Result

fn visit_predicate(&mut self, p: <I as Interner>::Predicate) -> Self::Result

fn visit_clauses(&mut self, p: <I as Interner>::Clauses) -> Self::Result

fn visit_error( &mut self, _guar: <I as Interner>::ErrorGuaranteed, ) -> Self::Result