Skip to main content

record_fault

brink_runtime::effect_trace

Function record_fault 

Source 
pub fn record_fault(def: DefinitionId)
Expand description

NS-A2: record a tracked turn-terminating fault, attributed to def (the definition scope executing when vm::step returned the fault).