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: Stringis_consumed: boollocal_bind_decls: Vec<Stmt>paths: FxHashSet<Ident>span: Span

Implementations

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

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)
  }
}

Initial trait imports

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

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

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

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

Recursive function called until cond_expr and fmt_str are fully modified.

See Self::manage_initial_capture and Self::manage_try_capture

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.

Tries to copy __local_bindN into __captureN.

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

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

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

The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion 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