Enum RootAttribute

pub enum RootAttribute {
    DemandedBits(Vec<bool>),
    HarvestedFromUse,
}

Attributes describing data-flow facts known about the root of a left- or right-hand side.

Variants

DemandedBits(Vec<bool>)

Which bits of the resulting value are actually used.

The vector must have a boolean for each bit in the result type, e.g. if the result type is i32, then the vector’s length must be 32.

If the nth entry in the vector is true, then the nth bit of the result is used. If it is false, then that bit is not used.

HarvestedFromUse

TODO

Trait Implementations

impl Clone for RootAttribute

fn clone(&self) -> RootAttribute

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RootAttribute

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

Formats the value using the given formatter.

impl Display for RootAttribute

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

Formats the value using the given formatter.

impl Parse for RootAttribute

fn parse<'a>(parser: &mut Parser<'a>) -> Result<Self>

Parse a Self from the given buffer.

impl Peek for RootAttribute

fn peek<'a>(parser: &mut Parser<'a>) -> Result<bool>

Does it look like we can parse a Self from the given buffer?