Enum PropertyArg 

pub(crate) enum PropertyArg<'tcx> {
    Ty(Ty<'tcx>),
    Expr(ContractExpr<'tcx>),
    Predicates(Vec<NumericPredicate<'tcx>>),
    Ident(String),
    Region(Region<'tcx>),
}

One argument of a predicate call — what the property is applied to.

Variants

Ty(Ty<'tcx>)

A type (e.g. T in Align(ptr, T)).

Expr(ContractExpr<'tcx>)

A value expression (e.g. buf, n).

Predicates(Vec<NumericPredicate<'tcx>>)

An interval of comparisons, used by ValidNum.

Ident(String)

A name: lifetime, allocator, trait (e.g. Copy), or sized/unsized.

Region(Region<'tcx>)

A resolved lifetime region (e.g. 'a in Alive(p, 'a)), bound against the item that declares the lifetime (a struct for its invariants).

Implementations

impl<'tcx> PropertyArg<'tcx>

pub(crate) fn display_for_report( &self, tcx: TyCtxt<'tcx>, struct_def_id: Option<DefId>, fn_def_id: Option<DefId>, ) -> String

Trait Implementations

impl<'tcx> Clone for PropertyArg<'tcx>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for PropertyArg<'tcx>

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

Formats the value using the given formatter.