Enum ProgramBuildError 

#[non_exhaustive]
pub enum ProgramBuildError {
    ForeignValue,
    ForeignImportRoot,
    ForeignBindings,
    UnsupportedControlFlow {
        construct: &'static str,
    },
    InvalidImport {
        source: ProgramStructuralError,
    },
    BindingTargetNotInput,
    GuardTargetNotOperationOutput,
    DuplicateBinding,
    TooManyValues,
    Arity {
        expected: usize,
        actual: usize,
    },
    Metadata {
        source: Box<Error>,
    },
    OutputMetadataCount {
        expected: usize,
        actual: usize,
    },
    UndeclaredExtensionEffects {
        family: &'static str,
    },
    UndeclaredExtensionAliases {
        family: &'static str,
    },
    InvalidEffectResource {
        family: &'static str,
        source: EffectResourceError,
    },
    AliasOutOfBounds {
        output: usize,
        output_count: usize,
        input: Option<usize>,
        input_count: usize,
    },
    AliasCoverage {
        expected: usize,
        actual: usize,
    },
}

Errors reported while adding semantic-program structure.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

ForeignValue

A value token was issued by another builder.

ForeignImportRoot

An import root belongs to another semantic program.

ForeignBindings

Import bindings were frozen for another semantic program.

UnsupportedControlFlow

Structured control flow is reserved for the later region/block model.

Fields

construct: &'static str

Frontend construct that could not be represented.

InvalidImport

A frozen source program failed import-time structural validation.

Fields

source: ProgramStructuralError

BindingTargetNotInput

A binding target is a computed value rather than an external input.

GuardTargetNotOperationOutput

A shape guard target is not produced by a semantic operation.

DuplicateBinding

An external input already has a tensor binding.

TooManyValues

The builder cannot represent another value slot.

Arity

An operation received the wrong number of SSA inputs.

Fields

expected: usize

Declared input count.

actual: usize

Supplied input count.

Metadata

Semantic dtype or shape inference failed.

Fields

source: Box<Error>

Original typed runtime inference error.

OutputMetadataCount

Inference did not return the declared number of outputs.

Fields

expected: usize

Declared output count.

actual: usize

Inferred metadata count.

UndeclaredExtensionEffects

An extension did not explicitly declare its observable effects.

Fields

family: &'static str

Stable extension family.

UndeclaredExtensionAliases

An extension did not explicitly declare output aliases.

Fields

family: &'static str

Stable extension family.

InvalidEffectResource

An extension declared an invalid resource family.

Fields

family: &'static str

Stable extension family.

source: EffectResourceError

Typed resource validation failure.

AliasOutOfBounds

An alias referenced an input or output outside the operation arity.

Fields

output: usize

Referenced output.

output_count: usize

Output arity.

input: Option<usize>

Referenced input, when applicable.

input_count: usize

Input arity.

AliasCoverage

Alias declarations did not cover every output exactly once.

Fields

expected: usize

Output arity.

actual: usize

Number of distinct valid output declarations.

Trait Implementations

impl Debug for ProgramBuildError

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

Formats the value using the given formatter.

impl Display for ProgramBuildError

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

Formats the value using the given formatter.

impl Error for ProgramBuildError

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.

impl From<ProgramBuildError> for SemanticTransformError

fn from(source: ProgramBuildError) -> Self

Converts to this type from the input type.