Struct rustc_mir::transform::check_consts::ConstCx

pub struct ConstCx<'mir, 'tcx> {
    pub body: &'mir Body<'tcx>,
    pub tcx: TyCtxt<'tcx>,
    pub param_env: ParamEnv<'tcx>,
    pub const_kind: Option<ConstContext>,
}

Information about the item currently being const-checked, as well as a reference to the global context.

Fields

body: &'mir Body<'tcx>

tcx: TyCtxt<'tcx>

param_env: ParamEnv<'tcx>

const_kind: Option<ConstContext>

Implementations

impl<'mir, 'tcx> ConstCx<'mir, 'tcx>

pub fn new(tcx: TyCtxt<'tcx>, body: &'mir Body<'tcx>) -> Self

pub fn new_with_param_env(
    tcx: TyCtxt<'tcx>,
    body: &'mir Body<'tcx>,
    param_env: ParamEnv<'tcx>
) -> Self

pub fn def_id(&self) -> LocalDefId

pub fn const_kind(&self) -> ConstContext

Returns the kind of const context this Item represents (const, static, etc.).

Panics if this Item is not const.

pub fn is_const_stable_const_fn(&self) -> bool

pub fn fn_sig(&self) -> Option<&'tcx FnSig<'tcx>>

Returns the function signature of the item being const-checked if it is a fn or const fn.