Don't trick borrowck in set_cursor_line