Struct GenericsSubstForSort

pub(crate) struct GenericsSubstForSort<F, E>
where
    F: FnMut(ParamTy) -> Result<Sort, E>,
{
    pub(crate) sort_for_param: F,
}

A substitution meant to be used only for sorts. It’ll panic if used on a type. This is used to break cycles during wf checking. During wf-checking we use rty::Sort, but we can’t yet generate (in general) an rty::GenericArg because conversion from fhir into rty requires the results of wf checking. Perhaps, we could also solve this problem by doing wf-checking with a different “IR” for sorts that sits in between fhir and rty.

Fields

sort_for_param: F

Implementation of GenericsSubstDelegate::sort_for_param

Trait Implementations

impl<F, E> GenericsSubstDelegate for GenericsSubstForSort<F, E>

where F: FnMut(ParamTy) -> Result<Sort, E>,

type Error = E

fn sort_for_param(&mut self, param_ty: ParamTy) -> Result<Sort, E>

fn ty_for_param(&mut self, param_ty: ParamTy) -> Result<Ty, E>

fn ctor_for_param(&mut self, param_ty: ParamTy) -> Result<SubsetTyCtor, E>

fn region_for_param(&mut self, ebr: EarlyParamRegion) -> Region

fn const_for_param(&mut self, param: &Const) -> Const

fn expr_for_param_const(&self, param_const: ParamConst) -> Expr