precondition_sized

Function precondition_sized 

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