shift-preserves-filter-non-consume/inner
shift-preserves-filter-non-consume