Как прочитать оставшиеся байты из SequenceReader? ⇐ C#

[Anonymous]

Если в коде C# PipeReader, ReadOnlySequence и SequenceReader используются для обработки текстового файла, как должны считываться оставшиеся байты из SequenceReader обработки строк?
TryReadTo нужен десятичный знак (его нет, поскольку ';' применяется только к городской части строки), так правильно ли используется свойство UnreadSpan?
< pre class="lang-cs Prettyprint-override">var sr = new SequenceReader(readResult.Buffer);
ReadOnlySpan span;
while (true)
{
ReadOnlySequence line;
if (sr.TryReadTo(out line, (byte)'\n') == false)
{
pipeReader.AdvanceTo(consumed: sr.Position, examined: readResult.Buffer.End);
break;
}

var lr = new SequenceReader(line);
var shouldBeTrue = lr.TryReadTo(out span, (byte)';');

var city = Encoding.UTF8.GetString(span);
// How to read the rest of lr into ReadOnlySpan
}

Ввод выглядит примерно так:
Harbin;145000
Tripoli;Missing value
Mango;400



Подробнее здесь: https://stackoverflow.com/questions/792 ... encereader