Function rustc_mir::transform::generator::sanitize_witness

pub(in transform::generator) fn sanitize_witness<'tcx>(
    tcx: TyCtxt<'tcx>, 
    body: &Body<'tcx>, 
    witness: Ty<'tcx>, 
    upvars: Vec<Ty<'tcx>>, 
    saved_locals: &GeneratorSavedLocals
)

Validates the typeck view of the generator against the actual set of types saved between yield points.