MachineStopType in rustc_middle::mir::interpret - Rust
Description: A trait for machine-specific errors (or other “machine stop” conditions).

Skip to main content

## MachineStopType

# Trait MachineStopType

Source

    pub trait MachineStopType:
        Any
        + Display
        + Debug
        + Send {
        // Provided method
        fn with_validation_path(&mut self, _path: String) { ... }
    }

Expand description

A trait for machine-specific errors (or other “machine stop” conditions).

## Provided Methods§

Source

#### fn with_validation_path(&mut self, _path: String)

This error occurred during validation, inside a value at the given path.

## Implementations§

Source§

### impl dyn MachineStopType

Source

#### pub fn downcast_ref<T: Any>(&self) -> Option<&T>

## Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

## Implementors§