Struct rustc_lint::middle::region::BlockRemainder

pub struct BlockRemainder {
    pub block: u32,
    pub first_statement_index: u32,
}

Unstable (rustc_private)

Represents a subscope of block for a binding that is introduced by block.stmts[first_statement_index]. Such subscopes represent a suffix of the block. Note that each subscope does not include the initializer expression, if any, for the statement indexed by first_statement_index.

For example, given { let (a, b) = EXPR_1; let c = EXPR_2; ... }:

• the subscope with first_statement_index == 0 is scope of both a and b; it does not include EXPR_1, but does include everything after that first let. (If you want a scope that includes EXPR_1 as well, then do not use CodeExtentData::Remainder, but instead another CodeExtent that encompasses the whole block, e.g. CodeExtentData::Misc.

• the subscope with first_statement_index == 1 is scope of c, and thus does not include EXPR_2, but covers the ....

Fields

block: u32

Unstable (rustc_private)

first_statement_index: u32

Unstable (rustc_private)

Trait Implementations

Derived Implementations

impl Copy for BlockRemainder

impl Debug for BlockRemainder

fn fmt(&self, __arg_0: &mut Formatter) -> Result<(), Error>

impl Decodable for BlockRemainder

fn decode<__D>(__arg_0: &mut __D) -> Result<BlockRemainder, __D::Error> where __D: Decoder

impl Encodable for BlockRemainder

fn encode<__S>(&self, __arg_0: &mut __S) -> Result<(), __S::Error> where __S: Encoder

impl Hash for BlockRemainder

fn hash<__H>(&self, __arg_0: &mut __H) where __H: Hasher

impl Ord for BlockRemainder

fn cmp(&self, __arg_0: &BlockRemainder) -> Ordering

impl Eq for BlockRemainder

impl PartialOrd<BlockRemainder> for BlockRemainder

fn partial_cmp(&self, __arg_0: &BlockRemainder) -> Option<Ordering>

fn lt(&self, __arg_0: &BlockRemainder) -> bool

fn le(&self, __arg_0: &BlockRemainder) -> bool

fn gt(&self, __arg_0: &BlockRemainder) -> bool

fn ge(&self, __arg_0: &BlockRemainder) -> bool

impl PartialEq<BlockRemainder> for BlockRemainder

fn eq(&self, __arg_0: &BlockRemainder) -> bool

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

fn ne(&self, __arg_0: &BlockRemainder) -> bool

This method tests for !=.

impl Clone for BlockRemainder

fn clone(&self) -> BlockRemainder

Returns a copy of the value.

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

Performs copy-assignment from source.