Рефакторинг в объявление using переносит Dispose за Publish()

Подсветить Publish() как оператор, который теперь выполняется до освобождения. Распознать синтаксис несложно, но это ничего не говорит редактору о том, выдержит ли этот метод более долгое время жизни.

Подсветка уже кое-что даёт. Интереснее становится, если Publish() разрешено вызывать только после освобождения input. Перенос в область метода это условие нарушает, хотя правка текста выглядит совершенно обычной.

Попробуем ещё один вариант правки. Оставим исходный внутренний блок и поместим объявление using в него, тогда освобождение по-прежнему произойдёт в конце этого блока. Пусть это будет самостоятельный вариант, а затронутые операторы будут видны в предпросмотре. Выбирать на самом деле приходится область, которую сохранить, и предпросмотр удалённых фигурных скобок здесь мало помогает.

Осторожнее с тем, что обещает эта пометка. Она может сказать, когда выполнится Dispose. Сказать, что все потребители input закончили работу, она не может.

А если Read(input) сохраняет callback со ссылкой на input? Тогда тот же вопрос есть и у исходного блока, с рефакторингом или без. Пусть инструмент помечает ускользающий callback, когда может его найти, а решение о рефакторинге остаётся вопросом области освобождения. То, что callback ещё может добраться до освобождённого объекта, не даёт ему права этим объектом пользоваться.

Вот вариант, который делает превью сложнее. Пусть input будет IAsyncDisposable, тогда блок превращается в await using. Освобождение теперь это ожидаемый DisposeAsync в конце области, так что перенос области переносит и await. Если метод ещё и ожидает Publish(), переписывание на уровень метода ставит Publish() перед освобождением и меняет точки, где метод уступает управление. А если в коде есть ConfigureAwait(false), освобождение может к тому же выполниться не в том потоке, что раньше. Ничего из этого не видно в diff с удалёнными скобками. Превью должно прямо сказать «освобождение переезжает за эти await».

В Visual Basic форма объявления так и не появилась, поэтому такой рефакторинг там даже не предложат. Using input As New StreamReader(path) и End Using единственный способ записи, и область всегда выписана явно. Для того, кто читает код впервые, я считаю это маленькой любезностью.