Type Alias flowistry_pdg::rustc::mir::AssertMessage

source · 
pub type AssertMessage<'tcx> = AssertKind<Operand<'tcx>>;
Expand description

Type for MIR Assert terminator error messages.