Struct Descriptor 

pub struct Descriptor {
    pub judgement: u8,
    pub class: u8,
    pub size: u16,
}

One descriptor, as much of it as this pass knows.

The pc field of the runtime’s descriptor is not here. Filling it means a relocation against the enclosing function plus the offset of the call, which the IR cannot express and which nothing needs while the reporter has the address the check was given, so those eight bytes are written as zero.

Fields

judgement: u8

Which judgement the check decides.

class: u8

Which row of document 03’s tables the failure is, which nothing decides yet.

size: u16

How many bytes the access covers, saturating, and zero where the check is not about an access of a known width.

Trait Implementations

impl Clone for Descriptor

fn clone(&self) -> Descriptor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Descriptor

impl Debug for Descriptor

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

Formats the value using the given formatter.

impl Eq for Descriptor

impl PartialEq for Descriptor

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Descriptor