Struct FluxItemCtxt

struct FluxItemCtxt<'genv, 'tcx> {
    genv: GlobalEnv<'genv, 'tcx>,
    resolver_output: &'genv ResolverOutput,
    local_id_gen: IndexGen<ItemLocalId>,
    owner: FluxLocalDefId,
    errors: Errors<'genv>,
}

Fields

genv: GlobalEnv<'genv, 'tcx>

resolver_output: &'genv ResolverOutput

local_id_gen: IndexGen<ItemLocalId>

owner: FluxLocalDefId

errors: Errors<'genv>

Implementations

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

fn with<T>( genv: GlobalEnv<'genv, 'tcx>, resolver_output: &'genv ResolverOutput, owner: FluxLocalDefId, f: impl FnOnce(&mut Self) -> T, ) -> Result<T, ErrorGuaranteed>

Trait Implementations

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

fn next_fhir_id(&self) -> FhirId

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

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

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

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

impl ErrorCollector<ErrorGuaranteed> for FluxItemCtxt<'_, '_>

type Result = Result<(), ErrorGuaranteed>

fn collect(&mut self, err: ErrorGuaranteed)

fn into_result(self) -> Self::Result

impl ErrorEmitter for FluxItemCtxt<'_, '_>

fn emit<'a>(&'a self, err: impl Diagnostic<'a>) -> ErrorGuaranteed