Function generate_with_overlay_checked 

pub fn generate_with_overlay_checked<'g, S: RowStream + 'g>(
    start_at: Option<&OwnedRow>,
    rows: S,
    constraint: Option<&Constraint>,
    overlay: Option<&Overlay>,
    last_pushed_epoch: u32,
    sort: &Sort,
    gate_sort: &Sort,
    reverse: bool,
    predicate: Option<&RowPredicate>,
    multi_constraints: &[MultiConstraint],
    error_sink: Option<Rc<RefCell<Option<RindleError>>>>,
) -> RowFlow<'g>