Struct ContractResult 

pub struct ContractResult {
    pub errors: Vec<String>,
    pub missing: Option<Vec<String>>,
    pub missing_at: (usize, usize),
}

Result of a static contract check (see Htl::contract_check).

Fields

errors: Vec<String>

Type errors from local m: <T> = require("<mod>").

missing: Option<Vec<String>>

Declared fields absent from the module’s returned table literal; None when the return value is not a literal (not decidable statically).

missing_at: (usize, usize)

Trait Implementations

impl Clone for ContractResult

fn clone(&self) -> ContractResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractResult

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

Formats the value using the given formatter.

impl Default for ContractResult

fn default() -> ContractResult

Returns the “default value” for a type.