Skip to main content

fmt_index_access

rapx::verify::display

Function fmt_index_access 

Source 
fn fmt_index_access<'tcx>(
    slice: &ContractExpr<'tcx>,
    index: &ContractExpr<'tcx>,
    tcx: TyCtxt<'tcx>,
    struct_def_id: Option<DefId>,
    fn_def_id: Option<DefId>,
) -> (String, String)
Expand description

Render an IndexAccess { slice, index } into (slice_str, index_str), stripping leading &mut /& from the slice display.