Struct InferOpts

pub struct InferOpts {
    pub check_overflow: bool,
    pub scrape_quals: bool,
    pub solver: SmtSolver,
}

Options that change the behavior of refinement type inference locally

Fields

check_overflow: bool

Enable overflow checking. This affects the signature of primitive operations and the invariants assumed for primitive types.

scrape_quals: bool

Whether qualifiers should be scraped from the constraint.

solver: SmtSolver

Trait Implementations

impl Clone for InferOpts

fn clone(&self) -> InferOpts

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InferOpts

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

Formats the value using the given formatter.

impl From<PartialInferOpts> for InferOpts

fn from(opts: PartialInferOpts) -> Self

Converts to this type from the input type.

impl Copy for InferOpts