precondition

Function precondition 

Source
fn precondition(cx: &Ctxt, cont: &Container<'_>)