Enum TealResolveError 

pub enum TealResolveError {
    TypeCheck {
        module: String,
        errors: Vec<String>,
    },
    Expectation {
        module: String,
        expected: String,
        errors: Vec<String>,
    },
    MissingFields {
        module: String,
        expected: String,
        fields: Vec<String>,
    },
    Read {
        module: String,
        source: ReadError,
    },
}

Error raised when a .tl module fails the type check at require time.

Every variant carries module — the name that was required, not the path it resolved to — because that is the name the require in the caller’s source spells, and the caller is where the mistake is read from. All four are returned as Some(Err) so the Registry stops rather than falling through to a later resolver: a .tl that does not check must not be quietly replaced by a .lua of the same name.

Variants

TypeCheck

The module does not type-check on its own terms.

Fields

module: String

The name that was required.

errors: Vec<String>

The checker’s errors, one per line as it reported them.

Expectation

The module type-checks on its own but is not assignable to the resolver’s expect_type.

Fields

module: String

The name that was required.

expected: String

The type path the resolver demands, as expect_type was given it.

errors: Vec<String>

Why the assignment failed. The message adds a hint to annotate the returned table, because these errors are about the whole value and carry no line of their own until the module names its type.

MissingFields

require_fields: required fields absent at run time.

Fields

module: String

The name that was required.

expected: String

The type whose fields were demanded — the same expect_type, since require_fields only applies alongside it.

fields: Vec<String>

The fields that were nil. Named rather than counted: every Teal record field is nilable, so which ones are missing is the whole of what the type check could not say.

Read

The file could not be read through the sandbox — outside the root, or gone between the resolver finding it and opening it.

Fields

module: String

The name that was required.

source: ReadError

What the sandbox refused or failed on.

Trait Implementations

impl Debug for TealResolveError

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

Formats the value using the given formatter.

impl Display for TealResolveError

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

Formats the value using the given formatter.

impl Error for TealResolveError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.