Enum paralegal_spdg::rustc::mir::interpret::InvalidProgramInfo

pub enum InvalidProgramInfo<'tcx> {
    TooGeneric,
    AlreadyReported(ReportedErrorInfo),
    Layout(LayoutError<'tcx>),
    FnAbiAdjustForForeignAbi(AdjustForForeignAbiError),
    ConstPropNonsense,
}

Error information for when the program we executed turned out not to actually be a valid program. This cannot happen in stand-alone Miri, but it can happen during CTFE/ConstProp where we work on generic code or execution does not have all information available.

Variants

TooGeneric

Resolution can fail if we are in a too generic context.

AlreadyReported(ReportedErrorInfo)

Abort in case errors are already reported.

Layout(LayoutError<'tcx>)

An error occurred during layout computation.

FnAbiAdjustForForeignAbi(AdjustForForeignAbiError)

An error occurred during FnAbi computation: the passed –target lacks FFI support (which unfortunately typeck does not reject). Not using FnAbiError as that contains a nested LayoutError.

ConstPropNonsense

We are runnning into a nonsense situation due to ConstProp violating our invariants.