pub(super) struct Context<'cx, 'a> {
    best_case_captures: Vec<Stmt>,
    capture_decls: Vec<Capture>,
    cx: &'cx ExtCtxt<'a>,
    fmt_string: String,
    is_consumed: bool,
    local_bind_decls: Vec<Stmt>,
    paths: FxHashSet<Ident>,
    span: Span,
}

Fields§

§best_case_captures: Vec<Stmt>§capture_decls: Vec<Capture>§cx: &'cx ExtCtxt<'a>§fmt_string: String§is_consumed: bool§local_bind_decls: Vec<Stmt>§paths: FxHashSet<Ident>§span: Span

Implementations§

source§

impl<'cx, 'a> Context<'cx, 'a>

source

pub(super) fn new(cx: &'cx ExtCtxt<'a>, span: Span) -> Self

source

pub(super) fn build(self, cond_expr: P<Expr>, panic_path: Path) -> P<Expr>

Builds the whole assert! expression. For example, let elem = 1; assert!(elem == 1); expands to:

#![feature(generic_assert_internals)]
let elem = 1;
{
  #[allow(unused_imports)]
  use ::core::asserting::{TryCaptureGeneric, TryCapturePrintable};
  let mut __capture0 = ::core::asserting::Capture::new();
  let __local_bind0 = &elem;
  if !(
    *{
      (&::core::asserting::Wrapper(__local_bind0)).try_capture(&mut __capture0);
      __local_bind0
    } == 1
  ) {
    panic!("Assertion failed: elem == 1\nWith captures:\n  elem = {:?}", __capture0)
  }
}
source

fn build_initial_imports(&self) -> Stmt

Initial trait imports

use ::core::asserting::{ … };

source

fn build_unlikely(&self, cond_expr: P<Expr>) -> P<Expr>

Takes the conditional expression of assert! and then wraps it inside unlikely

source

fn build_panic(&self, expr_str: &str, panic_path: Path) -> P<Expr>

The necessary custom panic!(...) expression.

panic!( “Assertion failed: … \n With expansion: …”, __capture0, … );

source

fn manage_cond_expr(&mut self, expr: &mut P<Expr>)

Recursive function called until cond_expr and fmt_str are fully modified.

See Self::manage_initial_capture and Self::manage_try_capture

source

fn manage_initial_capture(&mut self, expr: &mut P<Expr>, path_ident: Ident)

Pushes the top-level declarations and modifies expr to try capturing variables.

fmt_str, the formatting string used for debugging, is constructed to show possible captured variables.

source

fn manage_try_capture( &mut self, capture: Ident, curr_capture_idx: usize, expr: &mut P<Expr> )

Tries to copy __local_bindN into __captureN.

*{ (&Wrapper(__local_bindN)).try_capture(&mut __captureN); __local_bindN }

source

fn with_is_consumed_management( &mut self, curr_is_consumed: bool, f: impl FnOnce(&mut Self) )

Auto Trait Implementations§

§

impl<'cx, 'a> !RefUnwindSafe for Context<'cx, 'a>

§

impl<'cx, 'a> !Send for Context<'cx, 'a>

§

impl<'cx, 'a> !Sync for Context<'cx, 'a>

§

impl<'cx, 'a> Unpin for Context<'cx, 'a>

§

impl<'cx, 'a> !UnwindSafe for Context<'cx, 'a>

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

Layout§

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