Struct Cx

struct Cx<'tcx> {
    tcx: TyCtxt<'tcx>,
    thir: Thir<'tcx>,
    typing_env: TypingEnv<'tcx>,
    region_scope_tree: &'tcx ScopeTree,
    typeck_results: &'tcx TypeckResults<'tcx>,
    rvalue_scopes: &'tcx RvalueScopes,
    apply_adjustments: bool,
    body_owner: DefId,
}

Fields

tcx: TyCtxt<'tcx>

thir: Thir<'tcx>

typing_env: TypingEnv<'tcx>

region_scope_tree: &'tcx ScopeTree

typeck_results: &'tcx TypeckResults<'tcx>

rvalue_scopes: &'tcx RvalueScopes

apply_adjustments: bool

False to indicate that adjustments should not be applied. Only used for custom_mir

body_owner: DefId

The DefId of the owner of this body.

Implementations

impl<'tcx> Cx<'tcx>

pub(crate) fn mirror_block(&mut self, block: &'tcx Block<'tcx>) -> BlockId

fn mirror_stmts( &mut self, block_id: ItemLocalId, stmts: &'tcx [Stmt<'tcx>], ) -> Box<[StmtId]>

impl<'tcx> Cx<'tcx>

pub(crate) fn mirror_expr(&mut self, expr: &'tcx Expr<'tcx>) -> ExprId

Create a THIR expression for the given HIR expression. This expands all adjustments and directly adds the type information from the typeck_results. See the dev-guide for more details.

(The term “mirror” in this case does not refer to “flipped” or “reversed”.)

pub(crate) fn mirror_exprs( &mut self, exprs: &'tcx [Expr<'tcx>], ) -> Box<[ExprId]>

pub(super) fn mirror_expr_inner(&mut self, hir_expr: &'tcx Expr<'tcx>) -> ExprId

fn apply_adjustment( &mut self, hir_expr: &'tcx Expr<'tcx>, expr: Expr<'tcx>, adjustment: &Adjustment<'tcx>, span: Span, ) -> Expr<'tcx>

fn mirror_expr_cast( &mut self, source: &'tcx Expr<'tcx>, temp_lifetime: TempLifetime, span: Span, ) -> ExprKind<'tcx>

Lowers a cast expression.

Dealing with user type annotations is left to the caller.

fn make_mirror_unadjusted(&mut self, expr: &'tcx Expr<'tcx>) -> Expr<'tcx>

fn user_args_applied_to_res( &mut self, hir_id: HirId, res: Res, ) -> Option<Box<CanonicalUserType<'tcx>>>

fn method_callee( &mut self, expr: &Expr<'_>, span: Span, overloaded_callee: Option<Ty<'tcx>>, ) -> Expr<'tcx>

fn convert_arm(&mut self, arm: &'tcx Arm<'tcx>) -> ArmId

fn convert_path_expr( &mut self, expr: &'tcx Expr<'tcx>, res: Res, ) -> ExprKind<'tcx>

fn convert_var(&mut self, var_hir_id: HirId) -> ExprKind<'tcx>

fn overloaded_operator( &mut self, expr: &'tcx Expr<'tcx>, args: Box<[ExprId]>, ) -> ExprKind<'tcx>

fn overloaded_place( &mut self, expr: &'tcx Expr<'tcx>, place_ty: Ty<'tcx>, overloaded_callee: Option<Ty<'tcx>>, args: Box<[ExprId]>, span: Span, ) -> ExprKind<'tcx>

fn convert_captured_hir_place( &mut self, closure_expr: &'tcx Expr<'tcx>, place: HirPlace<'tcx>, ) -> Expr<'tcx>

fn capture_upvar( &mut self, closure_expr: &'tcx Expr<'tcx>, captured_place: &'tcx CapturedPlace<'tcx>, upvar_ty: Ty<'tcx>, ) -> Expr<'tcx>

fn field_refs(&mut self, fields: &'tcx [ExprField<'tcx>]) -> Box<[FieldExpr]>

Converts a list of named fields (i.e., for struct-like struct/enum ADTs) into FieldExpr.

impl<'tcx> Cx<'tcx>

fn new(tcx: TyCtxt<'tcx>, def: LocalDefId) -> Cx<'tcx>

fn pattern_from_hir(&mut self, p: &'tcx Pat<'tcx>) -> Box<Pat<'tcx>>

fn closure_env_param( &self, owner_def: LocalDefId, expr_id: HirId, ) -> Option<Param<'tcx>>

fn explicit_params<'a>( &'a mut self, owner_id: HirId, fn_decl: &'tcx FnDecl<'tcx>, body: &'tcx Body<'tcx>, ) -> impl Iterator<Item = Param<'tcx>> + 'a

Trait Implementations

impl<'tcx> UserAnnotatedTyHelpers<'tcx> for Cx<'tcx>

fn tcx(&self) -> TyCtxt<'tcx>

fn typeck_results(&self) -> &TypeckResults<'tcx>

fn user_args_applied_to_ty_of_hir_id( &self, hir_id: HirId, ) -> Option<CanonicalUserType<'tcx>>

Looks up the type associated with this hir-id and applies the user-given generic parameters; the hir-id must map to a suitable type.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 208 bytes