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_for_item( genv: GlobalEnv<'genv, 'tcx>, def_id: DefId, refine: fn(_: BaseTy) -> SubsetTyCtor, ) -> QueryResult<Self>

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

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

pub fn refine<T: Refine + ?Sized>(&self, t: &T) -> QueryResult<T::Output>

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

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

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_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 param(&self, param_ty: ParamTy) -> QueryResult<GenericParamDef>