Function rustc_mir_transform::generator::sanitize_witness

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.