Enum rustc_mir::transform::promote_consts::Candidate

pub enum Candidate {
    Ref(Location),
    Argument {
        bb: BasicBlock,
        index: usize,
    },
}

A “root candidate” for promotion, which will become the returned value in a promoted MIR, unless it’s a subset of a larger candidate.

Variants

Ref(Location)

Borrow of a constant temporary, candidate for lifetime extension.

Argument

Currently applied to function calls where the callee has the unstable #[rustc_args_required_const] attribute as well as the SIMD shuffle intrinsic. The intrinsic requires the arguments are indeed constant and the attribute currently provides the semantic requirement that arguments must be constant.

Fields of Argument

bb: BasicBlockindex: usize

Implementations

impl Candidate

fn forces_explicit_promotion(&self) -> bool

Returns true if we should use the “explicit” rules for promotability for this Candidate.

fn source_info(&self, body: &Body<'_>) -> SourceInfo

Trait Implementations

impl Clone for Candidate

fn clone(&self) -> Candidate

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Candidate

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq<Candidate> for Candidate

fn eq(&self, other: &Candidate) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Candidate) -> bool

This method tests for !=.

impl Copy for Candidate

impl Eq for Candidate

impl StructuralEq for Candidate

impl StructuralPartialEq for Candidate