Struct NotLowered 

pub(crate) struct NotLowered<'a> {
    pub(crate) benchmark: &'static str,
    pub(crate) what: &'a str,
}

One benchmark the linear-memory lowering could not lower, and what it said.

cove_ir has no admission predicate and no Unsupported type of its own — its module docs say a construct it has not been taught is a bug in the lowering rather than a program it declines — so this is a gap in the backend ADR 0034 makes the production one, and it fails the suite for that reason. ast has no counterpart to this row: the interpreter runs the checked program directly and never refuses one.

Fields

benchmark: &'static str

what: &'a str

Implementations

impl NotLowered<'_>

pub(crate) fn to_json(&self) -> String