Checker in rustc_const_eval::check_consts::check - Rust (original) (raw)

pub struct Checker<'mir, 'tcx> {
    ccx: &'mir ConstCx<'mir, 'tcx>,
    qualifs: Qualifs<'mir, 'tcx>,
    span: Span,
    transient_locals: Option<DenseBitSet<Local>>,
    error_emitted: Option<ErrorGuaranteed>,
    secondary_errors: Vec<Diag<'tcx>>,
}

The span of the current statement.

A set that stores for each local whether it is “transient”, i.e. guaranteed to be dead when this MIR body returns.

Source §

Source

Emits an error if an expression cannot be evaluated in the current context.

Source

Emits an error at the given span if an expression cannot be evaluated in the current context.

Source

Returns whether this place can possibly escape the evaluation of the current const/static initializer. The check assumes that all already existing pointers and references point to non-escaping places.

Source

Returns whether there are const-conditions.

Source

Check the const stability of the given item (fn or trait).

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: 568 bytes