Properly stall coroutine witnesses in new solver TODO: write description r? lcnr
TypingMode::Borrowck