интерфейс, а углубляться в имплементацию не надо, тебе не важно как компилятор реализует что-то с тем условием что имплементация подчиняется каким-то определённым правилам.
Ну вот что ты можешь сказать про абстрактный борроу чекер в вакууме? Что в твоём понимании интерфейс борроу чекера? Какого рода правилам он должен подчиняться?
Борроучекер общается только с другими подсистемами компилятора. У него нет API для пользователя, поэтому непонятно какой интерфейс борроучекера предлагается стандартизировать.
Обсуждают сегодня