Enum PropertyArg 

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

Variants

Ty(Ty<'tcx>)

Expr(ContractExpr<'tcx>)

Predicates(Vec<NumericPredicate<'tcx>>)

Ident(String)

Implementations

impl<'tcx> PropertyArg<'tcx>

pub 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) -> PropertyArg<'tcx>

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.