Struct FindParamInClause

struct FindParamInClause<'a, 'b, D: SolverDelegate<Interner = I>, I: Interner> {
    ecx: &'a mut EvalCtxt<'b, D>,
    param_env: I::ParamEnv,
    universes: Vec<Option<UniverseIndex>>,
}

Fields

ecx: &'a mut EvalCtxt<'b, D>

param_env: I::ParamEnv

universes: Vec<Option<UniverseIndex>>

Trait Implementations

impl<D, I> TypeVisitor<I> for FindParamInClause<'_, '_, D, I>

where D: SolverDelegate<Interner = I>, I: Interner,

type Result = ControlFlow<Result<(), NoSolution>>

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

fn visit_ty(&mut self, ty: I::Ty) -> Self::Result

fn visit_const(&mut self, ct: I::Const) -> Self::Result

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

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

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

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.