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.