Enum PureParam 

pub enum PureParam {
    SelfValue {
        is_ref: bool,
        is_mut: bool,
    },
    Typed {
        name: String,
        ty: PureType,
        is_mut: bool,
        pat: Option<PurePattern>,
    },
}

Function parameter.

Variants

SelfValue

self

Fields

is_ref: bool

&self / &mut self (i.e. taken by reference).

is_mut: bool

mut self / &mut self.

Typed

Named parameter.

Fields

name: String

Parameter binding name.

ty: PureType

Parameter type.

is_mut: bool

mut binding qualifier (e.g. fn f(mut x: T)).

Must be preserved across roundtrip; losing it produces E0596 “cannot borrow as mutable” the next time the executor re-renders the file, because every mutating use of x loses its backing mutability.

pat: Option<PurePattern>

Original parameter pattern, when the source used something richer than a bare identifier — e.g. fn execute_group(SpecGroup { x, .. }: SpecGroup) or fn tuple((a, b): (u32, u32)).

None for the common Pat::Ident case (the binding name in name is sufficient to re-emit). Some instructs to_syn to render the original pattern verbatim instead of synthesising a Pat::Ident { name }, which would parse as Pat::Path (and the cargo “patterns aren’t allowed in functions without bodies” error) whenever the lossy pat_to_name collapse produced an uppercase-leading binding like SpecGroup. Retires the defensive RL061 detect filter added in f196d30d.

Trait Implementations

impl Clone for PureParam

fn clone(&self) -> PureParam

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PureParam

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

Formats the value using the given formatter.

impl Eq for PureParam

impl PartialEq for PureParam

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PureParam

impl ToSyn for PureParam

type Output = FnArg

syn output type produced from self.

fn to_syn(&self) -> Result<FnArg, ToSynError>

Convert self back into its syn representation.