Struct Refiner

pub struct Refiner<'genv, 'tcx> {
    genv: GlobalEnv<'genv, 'tcx>,
    def_id: DefId,
    generics: Generics,
    refine: fn(_: BaseTy) -> SubsetTyCtor,
}

Fields

genv: GlobalEnv<'genv, 'tcx>

def_id: DefId

generics: Generics

refine: fn(_: BaseTy) -> SubsetTyCtor

Implementations

impl<'genv, 'tcx> Refiner<'genv, 'tcx>

pub fn new( genv: GlobalEnv<'genv, 'tcx>, def_id: DefId, refine: fn(_: BaseTy) -> SubsetTyCtor, ) -> QueryResult<Self>

pub fn default(genv: GlobalEnv<'genv, 'tcx>, def_id: DefId) -> QueryResult<Self>

pub fn with_holes( genv: GlobalEnv<'genv, 'tcx>, def_id: DefId, ) -> QueryResult<Self>

pub(crate) fn refine_generic_predicates( &self, generics: &GenericPredicates, ) -> QueryResult<GenericPredicates>

pub(crate) fn refine_clauses( &self, clauses: &[Clause], ) -> QueryResult<List<Clause>>

fn refine_clause(&self, clause: &Clause) -> QueryResult<Option<Clause>>

pub fn refine_existential_predicate( &self, poly_pred: &PolyExistentialPredicate, ) -> QueryResult<PolyExistentialPredicate>

pub fn refine_existential_predicate_generic_args( &self, def_id: DefId, args: &GenericArgs, ) -> QueryResult<GenericArgs>

pub fn refine_trait_ref(&self, trait_ref: &TraitRef) -> QueryResult<TraitRef>

pub fn refine_variant_def( &self, adt_def_id: DefId, variant_idx: VariantIdx, ) -> QueryResult<PolyVariant>

pub fn refine_binders<S, T, F>( &self, t: &Binder<S>, f: F, ) -> QueryResult<Binder<T>>

where F: FnMut(&S) -> QueryResult<T>,

pub fn refine_poly_fn_sig(&self, fn_sig: &PolyFnSig) -> QueryResult<PolyFnSig>

fn refine_generic_args( &self, def_id: DefId, args: &GenericArgs, ) -> QueryResult<GenericArgs>

pub fn refine_generic_arg( &self, param: &GenericParamDef, arg: &GenericArg, ) -> QueryResult<GenericArg>

fn refine_alias_ty( &self, alias_kind: AliasKind, alias_ty: &AliasTy, ) -> QueryResult<AliasTy>

pub fn refine_ty(&self, ty: &Ty) -> QueryResult<Ty>

pub fn refine_ty_or_base(&self, ty: &Ty) -> QueryResult<TyOrBase>

fn as_default(&self) -> Self

fn adt_def(&self, def_id: DefId) -> QueryResult<AdtDef>

fn generics_of(&self, def_id: DefId) -> QueryResult<Generics>

fn refine_refine_args_for_alias_ty( &self, def_id: DefId, alias_kind: AliasKind, ) -> QueryResult<RefineArgs>

fn param(&self, param_ty: ParamTy) -> QueryResult<GenericParamDef>