Fix scope leak with Stream.retry and in general, with pulls that do...#1885

Merged

mpilquist merged 1 commit intotypelevel:masterfrom mpilquist:bugfix/1884

Jun 7, 2020

+31-2

Commits on Jun 5, 2020

Fix scope leak with Stream.retry and in general, with pulls that do not consume all elements from source
mpilquist
committed