Там нет токена.

И код синхронный.

Так зачем ты отменил? -_-

Хоть 10 раз отменяй, выполнение кода не прервётся.

ето пример

Я хочу получить результат

Да, я про этот пример и говорю.

Ты его получишь в этом примере.

Так заложи получение

Честно-честно.

Я не вижу смысла обсуждать пример, в котором нет асинхронности.

это может гарантировать в F# тока finaly

в C# тоже если зделать генерацию токенов

О каком вообще результате метода void мы говорим. Я устал, я ухожу.

class DB
   {
       public void Add(object obj) { }
       public void Save() { }
   }
   class XXX
   {
       public void Work()
       {
           CancellationTokenSource cancelTokenSource = new CancellationTokenSource();
           Task.Run(() =>
           {
               Start(cancelTokenSource.Token);
           });
           Thread.Sleep(100);
           cancelTokenSource.Cancel();
       }
       public void Start(CancellationToken token)
       {

           DB dB = new DB();
           for (int i = 0; i < 100000000; i++)
           {
               dB.Add(i);
           }
          if (token.IsCancellationRequested) return;//Код компилятора
           dB.Save();
if (token.IsCancellationRequested) return;//Код кодера
       }
   }

предполагаем такую ситуацию

Это сгенерированный компилятором код

db.Save это сохранение транзакции

Мда.

Ты хочешь сказать, что если компилятор будет вставлять проверки токена, то код придётся писать иначе? Да, ты прав. Но пример всё равно неправильный.