Ограничение «[не последняя копия]» и «[последняя копия]» используются для различения двух переходов с событием «copyBorrowed()». Семантика заключается в том, что переход разрешен, когда ограничение истинно. Внутренние действия выполняются после https://deveducation.com/…