Struct c2rust_refactor::analysis::ownership::FunctionResult

pub struct FunctionResult<'lty, 'tcx> {
    pub sig: VFnSig<'lty, 'tcx>,
    pub num_sig_vars: u32,
    pub cset: ConstraintSet<'lty>,
    pub variants: Option<Vec<DefId>>,
    pub num_monos: usize,
}

Results specific to an analysis-level function.

Fields

sig: VFnSig<'lty, 'tcx>

Polymorphic function signature. Each pointer is labeled with a SigVar.

num_sig_vars: u32

cset: ConstraintSet<'lty>

Constraint set relating SigVars to each other and to concrete permission values.

variants: Option<Vec<DefId>>

List of variant IDs, for multi-variant functions. If the function has only a single variant, this field is None and the variant's ID is the same as the function's ID.

num_monos: usize

Number of monomorphizations. If self.variants is not None, num_monos is equal to the length of that Vec.