pub struct FormatArgsExpn<'tcx> {
    pub format_string: FormatString,
    pub args: Vec<FormatArg<'tcx>>,
    pub newline: bool,
    comma_spans: Vec<Span>,
    explicit_values: Vec<&'tcx Expr<'tcx>>,
}
Expand description

A parsed format_args! expansion.

Fields§

§format_string: FormatString

The format string literal.

§args: Vec<FormatArg<'tcx>>

The format arguments, such as {:?}.

§newline: bool

Has an added newline due to println!()/writeln!()/etc. The last format string part will include this added newline.

§comma_spans: Vec<Span>

Spans of the commas between the format string and explicit values, excluding any trailing comma

ⓘ
format!("..", 1, 2, 3,)
//          ^  ^  ^
§explicit_values: Vec<&'tcx Expr<'tcx>>

Explicit values passed after the format string, ignoring implicit captures. [1, z + 2] for format!("{x} {} {y}", 1, z + 2).

Implementations§

source§

impl<'tcx> FormatArgsExpn<'tcx>

source

fn comma_spans( cx: &LateContext<'_>, explicit_values: &[&Expr<'_>], fmt_span: Span ) -> Option<Vec<Span>>

Gets the spans of the commas inbetween the format string and explicit args, not including any trailing comma

ⓘ
format!("{} {}", a, b)
//             ^  ^

Ensures that the format string and values aren’t coming from a proc macro that sets the output span to that of its input

source

pub fn parse(cx: &LateContext<'_>, expr: &'tcx Expr<'tcx>) -> Option<Self>

source

pub fn find_nested( cx: &LateContext<'tcx>, expr: &'tcx Expr<'tcx>, expn_id: ExpnId ) -> Option<Self>

source

pub fn inputs_span(&self) -> Span

Source callsite span of all inputs

source

pub fn value_with_prev_comma_span(&self, value_id: HirId) -> Option<Span>

Get the span of a value expanded to the previous comma, e.g. for the value 10

ⓘ
format("{}.{}", 10, 11)
//            ^^^^
source

pub fn params(&'tcx self) -> impl Iterator<Item = FormatParam<'tcx>>

Iterator of all format params, both values and those referenced by width/precisions.

Trait Implementations§

source§

impl<'tcx> Debug for FormatArgsExpn<'tcx>

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<'tcx> RefUnwindSafe for FormatArgsExpn<'tcx>

§

impl<'tcx> !Send for FormatArgsExpn<'tcx>

§

impl<'tcx> !Sync for FormatArgsExpn<'tcx>

§

impl<'tcx> Unpin for FormatArgsExpn<'tcx>

§

impl<'tcx> UnwindSafe for FormatArgsExpn<'tcx>

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,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

const: unstable · source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

const: unstable · 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.
const: unstable · 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.
const: unstable · 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: 176 bytes