fn compute_slice_length<'tcx>( tcx: TyCtxt<'tcx>, ssa: &SsaLocals, body: &Body<'tcx> ) -> IndexVec<Local, Option<Const<'tcx>>>