Struct chalk_solve::clauses::builtin_traits::unsize::ParameterOccurenceCheck
source · struct ParameterOccurenceCheck<'p, I: Interner> {
interner: I,
parameters: &'p HashSet<usize>,
}
Fields§
§interner: I
§parameters: &'p HashSet<usize>
Trait Implementations§
source§impl<'p, I: Interner> TypeVisitor<I> for ParameterOccurenceCheck<'p, I>
impl<'p, I: Interner> TypeVisitor<I> for ParameterOccurenceCheck<'p, I>
§type BreakTy = ()
type BreakTy = ()
The “break type” of the visitor, often
()
. It represents the result
the visitor yields when it stops visiting.source§fn as_dyn(&mut self) -> &mut dyn TypeVisitor<I, BreakTy = Self::BreakTy>
fn as_dyn(&mut self) -> &mut dyn TypeVisitor<I, BreakTy = Self::BreakTy>
Creates a
dyn
value from this visitor. Unfortunately, this
must be added manually to each impl of visitor; it permits the
default implements below to create a &mut dyn TypeVisitor
from
Self
without knowing what Self
is (by invoking this
method). Effectively, this limits impls of visitor
to types
for which we are able to create a dyn value (i.e., not [T]
types).source§fn visit_ty(
&mut self,
ty: &Ty<I>,
outer_binder: DebruijnIndex,
) -> ControlFlow<()>
fn visit_ty( &mut self, ty: &Ty<I>, outer_binder: DebruijnIndex, ) -> ControlFlow<()>
Top-level callback: invoked for each
Ty<I>
that is
encountered when visiting. By default, invokes
super_visit_with
, which will in turn invoke the more
specialized visiting methods below, like visit_free_var
.source§fn visit_const(
&mut self,
constant: &Const<I>,
outer_binder: DebruijnIndex,
) -> ControlFlow<()>
fn visit_const( &mut self, constant: &Const<I>, outer_binder: DebruijnIndex, ) -> ControlFlow<()>
Top-level callback: invoked for each
Const<I>
that is
encountered when visiting. By default, invokes
super_visit_with
, which will in turn invoke the more
specialized visiting methods below, like visit_free_var
.source§fn visit_lifetime(
&mut self,
lifetime: &Lifetime<I>,
outer_binder: DebruijnIndex,
) -> ControlFlow<Self::BreakTy>
fn visit_lifetime( &mut self, lifetime: &Lifetime<I>, outer_binder: DebruijnIndex, ) -> ControlFlow<Self::BreakTy>
Top-level callback: invoked for each
Lifetime<I>
that is
encountered when visiting. By default, invokes
super_visit_with
, which will in turn invoke the more
specialized visiting methods below, like visit_free_var
.source§fn visit_program_clause(
&mut self,
clause: &ProgramClause<I>,
outer_binder: DebruijnIndex,
) -> ControlFlow<Self::BreakTy>
fn visit_program_clause( &mut self, clause: &ProgramClause<I>, outer_binder: DebruijnIndex, ) -> ControlFlow<Self::BreakTy>
Invoked for every program clause. By default, recursively visits the goals contents.
source§fn visit_goal(
&mut self,
goal: &Goal<I>,
outer_binder: DebruijnIndex,
) -> ControlFlow<Self::BreakTy>
fn visit_goal( &mut self, goal: &Goal<I>, outer_binder: DebruijnIndex, ) -> ControlFlow<Self::BreakTy>
Invoked for every goal. By default, recursively visits the goals contents.
source§fn visit_domain_goal(
&mut self,
domain_goal: &DomainGoal<I>,
outer_binder: DebruijnIndex,
) -> ControlFlow<Self::BreakTy>
fn visit_domain_goal( &mut self, domain_goal: &DomainGoal<I>, outer_binder: DebruijnIndex, ) -> ControlFlow<Self::BreakTy>
Invoked for each domain goal.
source§fn forbid_free_vars(&self) -> bool
fn forbid_free_vars(&self) -> bool
If overridden to return true, then visiting will panic if a
free variable is encountered. This should be done if free
type/lifetime/const variables are not expected.
source§fn visit_free_var(
&mut self,
bound_var: BoundVar,
outer_binder: DebruijnIndex,
) -> ControlFlow<Self::BreakTy>
fn visit_free_var( &mut self, bound_var: BoundVar, outer_binder: DebruijnIndex, ) -> ControlFlow<Self::BreakTy>
Invoked for
BoundVar
instances that are not bound
within the type being visited over:source§fn forbid_free_placeholders(&self) -> bool
fn forbid_free_placeholders(&self) -> bool
If overridden to return true, we will panic when a free
placeholder type/lifetime is encountered.
source§fn visit_free_placeholder(
&mut self,
universe: PlaceholderIndex,
_outer_binder: DebruijnIndex,
) -> ControlFlow<Self::BreakTy>
fn visit_free_placeholder( &mut self, universe: PlaceholderIndex, _outer_binder: DebruijnIndex, ) -> ControlFlow<Self::BreakTy>
Invoked for each occurrence of a placeholder type; these are
used when we instantiate binders universally.
source§fn visit_where_clause(
&mut self,
where_clause: &WhereClause<I>,
outer_binder: DebruijnIndex,
) -> ControlFlow<Self::BreakTy>
fn visit_where_clause( &mut self, where_clause: &WhereClause<I>, outer_binder: DebruijnIndex, ) -> ControlFlow<Self::BreakTy>
Invoked for each where clause.
source§fn forbid_inference_vars(&self) -> bool
fn forbid_inference_vars(&self) -> bool
If overridden to return true, inference variables will trigger
panics when visited. Used when inference variables are
unexpected.
source§fn visit_inference_var(
&mut self,
var: InferenceVar,
_outer_binder: DebruijnIndex,
) -> ControlFlow<Self::BreakTy>
fn visit_inference_var( &mut self, var: InferenceVar, _outer_binder: DebruijnIndex, ) -> ControlFlow<Self::BreakTy>
Invoked for each occurrence of a inference type; these are
used when we instantiate binders universally.
Auto Trait Implementations§
impl<'p, I> Freeze for ParameterOccurenceCheck<'p, I>where
I: Freeze,
impl<'p, I> RefUnwindSafe for ParameterOccurenceCheck<'p, I>where
I: RefUnwindSafe,
impl<'p, I> Send for ParameterOccurenceCheck<'p, I>where
I: Send,
impl<'p, I> Sync for ParameterOccurenceCheck<'p, I>where
I: Sync,
impl<'p, I> Unpin for ParameterOccurenceCheck<'p, I>where
I: Unpin,
impl<'p, I> UnwindSafe for ParameterOccurenceCheck<'p, I>where
I: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> Cast for T
impl<T> Cast for T
source§fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: <U as HasInterner>::Interner) -> Uwhere
Self: CastTo<U>,
U: HasInterner,
Cast a value to type
U
using CastTo
.