Trait DesugarCtxt

trait DesugarCtxt<'genv, 'tcx: 'genv>: ErrorEmitter + ErrorCollector<ErrorGuaranteed> {
    // Required methods
    fn genv(&self) -> GlobalEnv<'genv, 'tcx>;
    fn resolver_output(&self) -> &'genv ResolverOutput;
    fn next_fhir_id(&self) -> FhirId;
    fn desugar_impl_trait(
        &mut self,
        node_id: NodeId,
        bounds: &[TraitRef],
    ) -> TyKind<'genv>;

    // Provided methods
    fn resolve_implicit_param(
        &self,
        node_id: NodeId,
    ) -> Option<(ParamId, ParamKind)> { ... }
    fn desugar_epath(&self, path: &ExprPath) -> PathExpr<'genv> { ... }
    fn desugar_loc(
        &self,
        ident: Ident,
        node_id: NodeId,
    ) -> Result<ExprRes, ErrorGuaranteed> { ... }
    fn resolve_param(&self, node_id: NodeId) -> (ParamId, ParamKind) { ... }
    fn resolve_implicit_params(
        &self,
        scope: NodeId,
    ) -> impl ExactSizeIterator<Item = (Ident, ParamId, ParamKind)> { ... }
    fn implicit_params_to_params(
        &self,
        scope: NodeId,
    ) -> impl ExactSizeIterator<Item = RefineParam<'genv>> { ... }
    fn desugar_refine_params(
        &mut self,
        params: &[RefineParam],
    ) -> &'genv [RefineParam<'genv>] { ... }
    fn desugar_refine_params_iter(
        &mut self,
        params: &[RefineParam],
    ) -> impl ExactSizeIterator<Item = RefineParam<'genv>> { ... }
    fn desugar_refine_param(
        &mut self,
        param: &RefineParam,
    ) -> RefineParam<'genv> { ... }
    fn desugar_sort(
        &mut self,
        sort: &Sort,
        generic_id_to_var_idx: Option<&FxIndexSet<DefId>>,
    ) -> Sort<'genv> { ... }
    fn desugar_base_sort(
        &mut self,
        sort: &BaseSort,
        generic_id_to_var_idx: Option<&FxIndexSet<DefId>>,
    ) -> Sort<'genv> { ... }
    fn desugar_generic_args(
        &mut self,
        res: Res,
        args: &[GenericArg],
    ) -> (&'genv [GenericArg<'genv>], &'genv [AssocItemConstraint<'genv>]) { ... }
    fn desugar_ty(&mut self, ty: &Ty) -> Ty<'genv> { ... }
    fn desugar_const_arg(const_arg: &ConstArg) -> ConstArg { ... }
    fn desugar_bty(&mut self, bty: &BaseTy) -> BaseTy<'genv> { ... }
    fn desugar_path_to_bty(
        &mut self,
        qself: Option<&Ty>,
        path: &Path,
    ) -> BaseTy<'genv> { ... }
    fn desugar_qpath(&mut self, qself: Option<&Ty>, path: &Path) -> QPath<'genv> { ... }
    fn desugar_path_segment(
        &mut self,
        segment: &PathSegment,
    ) -> PathSegment<'genv> { ... }
    fn ty_path(&self, qpath: QPath<'genv>) -> Ty<'genv> { ... }
    fn mk_lft_hole(&self) -> Lifetime { ... }
    fn desugar_indices(&mut self, idxs: &Indices) -> Expr<'genv> { ... }
    fn desugar_refine_arg(&mut self, arg: &RefineArg) -> Expr<'genv> { ... }
    fn implicit_param_into_refine_arg(
        &self,
        ident: Ident,
        node_id: NodeId,
    ) -> Option<Expr<'genv>> { ... }
    fn desugar_expr(&mut self, expr: &Expr) -> Expr<'genv> { ... }
    fn desugar_call(&mut self, callee: &Expr, args: &[Expr]) -> ExprKind<'genv> { ... }
    fn desugar_constructor(
        &mut self,
        path: Option<&ExprPath>,
        args: &[ConstructorArg],
    ) -> ExprKind<'genv> { ... }
    fn desugar_exprs(&mut self, exprs: &[Expr]) -> &'genv [Expr<'genv>] { ... }
    fn try_parse_int_lit(
        &self,
        span: Span,
        s: &str,
    ) -> Result<u128, ErrorGuaranteed> { ... }
    fn desugar_lit(&self, span: Span, lit: Lit) -> ExprKind<'genv> { ... }
}

Required Methods

fn genv(&self) -> GlobalEnv<'genv, 'tcx>

fn resolver_output(&self) -> &'genv ResolverOutput

fn next_fhir_id(&self) -> FhirId

fn desugar_impl_trait( &mut self, node_id: NodeId, bounds: &[TraitRef], ) -> TyKind<'genv>

Provided Methods

fn resolve_implicit_param( &self, node_id: NodeId, ) -> Option<(ParamId, ParamKind)>

fn desugar_epath(&self, path: &ExprPath) -> PathExpr<'genv>

fn desugar_loc( &self, ident: Ident, node_id: NodeId, ) -> Result<ExprRes, ErrorGuaranteed>

fn resolve_param(&self, node_id: NodeId) -> (ParamId, ParamKind)

fn resolve_implicit_params( &self, scope: NodeId, ) -> impl ExactSizeIterator<Item = (Ident, ParamId, ParamKind)>

fn implicit_params_to_params( &self, scope: NodeId, ) -> impl ExactSizeIterator<Item = RefineParam<'genv>>

fn desugar_refine_params( &mut self, params: &[RefineParam], ) -> &'genv [RefineParam<'genv>]

fn desugar_refine_params_iter( &mut self, params: &[RefineParam], ) -> impl ExactSizeIterator<Item = RefineParam<'genv>>

fn desugar_refine_param(&mut self, param: &RefineParam) -> RefineParam<'genv>

fn desugar_sort( &mut self, sort: &Sort, generic_id_to_var_idx: Option<&FxIndexSet<DefId>>, ) -> Sort<'genv>

fn desugar_base_sort( &mut self, sort: &BaseSort, generic_id_to_var_idx: Option<&FxIndexSet<DefId>>, ) -> Sort<'genv>

fn desugar_generic_args( &mut self, res: Res, args: &[GenericArg], ) -> (&'genv [GenericArg<'genv>], &'genv [AssocItemConstraint<'genv>])

fn desugar_ty(&mut self, ty: &Ty) -> Ty<'genv>

This is the mega desugaring function surface::Ty -> fhir::Ty. These are both similar representations. The most important difference is that fhir::Ty has explicit refinement parameters and surface::Ty does not. Refinements are implicitly scoped in surface.

fn desugar_const_arg(const_arg: &ConstArg) -> ConstArg

fn desugar_bty(&mut self, bty: &BaseTy) -> BaseTy<'genv>

fn desugar_path_to_bty( &mut self, qself: Option<&Ty>, path: &Path, ) -> BaseTy<'genv>

fn desugar_qpath(&mut self, qself: Option<&Ty>, path: &Path) -> QPath<'genv>

fn desugar_path_segment(&mut self, segment: &PathSegment) -> PathSegment<'genv>

fn ty_path(&self, qpath: QPath<'genv>) -> Ty<'genv>

fn mk_lft_hole(&self) -> Lifetime

fn desugar_indices(&mut self, idxs: &Indices) -> Expr<'genv>

fn desugar_refine_arg(&mut self, arg: &RefineArg) -> Expr<'genv>

fn implicit_param_into_refine_arg( &self, ident: Ident, node_id: NodeId, ) -> Option<Expr<'genv>>

fn desugar_expr(&mut self, expr: &Expr) -> Expr<'genv>

fn desugar_call(&mut self, callee: &Expr, args: &[Expr]) -> ExprKind<'genv>

fn desugar_constructor( &mut self, path: Option<&ExprPath>, args: &[ConstructorArg], ) -> ExprKind<'genv>

fn desugar_exprs(&mut self, exprs: &[Expr]) -> &'genv [Expr<'genv>]

fn try_parse_int_lit( &self, span: Span, s: &str, ) -> Result<u128, ErrorGuaranteed>

fn desugar_lit(&self, span: Span, lit: Lit) -> ExprKind<'genv>

Desugar surface literal

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for FluxItemCtxt<'genv, 'tcx>

impl<'genv, 'tcx> DesugarCtxt<'genv, 'tcx> for RustItemCtxt<'_, 'genv, 'tcx>