постфиксные макросы решили бы эту проблему

это ранний выход а не обработка ошибок

ну вот он хочет чтобы так раскрывалось. Но смотря на интерфейс Try трейта мне не оч. понятно как это сделать

можно было бы даже передавать значение в этот return

старого или нового?

да и старого и нового. Там же подразумевается что ты работаешь в одной монаде . в опшне, а резалте или ещё где.

А тут у тебя взаимодействия опшна и юнита - двух разных типов

if let Some(n) = n { print_always(n) }

ну вот не хотят матчить, хотят коротко писать.

Но мне кажется это не супер идея

#[unstable(feature = "try_trait_v2", issue = "84277")]
impl<T> ops::TryV2 for Option<T> {
   type Output = T;
   type Residual = Option<convert::Infallible>;

   #[inline]
   fn from_output(output: Self::Output) -> Self {
       Some(output)
   }

   #[inline]
   fn branch(self) -> ControlFlow<Self::Residual, Self::Output> {
       match self {
           Some(v) => ControlFlow::Continue(v),
           None => ControlFlow::Break(None),
       }
   }
}

Кто мне кстати объяснит почему тут Option<!> вместо ()? :)

я про то что зачем вызвать функцию с None если по условию это все равно что не вызвать

Всем привет! Jaeger-клиент норм у rust?

это выглядит как будто ты передаешь в функцию булев флаг который говорит будет функция что-то делать или завершится сразу после запуска. Почему эту проверку не делает вызывающий код?

потому что вызывающего кода может не быть. Например
fn foo() {
 let n = call_something_really_imporant()?;
 ... то же самое что раньше
}

тогда вернуть result, то же мне проблема

тут не нужен резалт. Опять же это может быть метод трейта Foo

не помните как либа называлась которая позволяла любые лайфтаймы трансмутить?*

error[E0282]: type annotations needed
  --> src\main.rs:29:5
   |
29 |     handle_path(todo!(), |bar: Bar| "()");
   |     ^^^^^^^^^^^ cannot infer type for type parameter `T` declared on the function `handle_path`



error[E0632]: cannot provide explicit generic arguments when `impl Trait` is used in argument position
  --> src\main.rs:32:19
   |
32 |     handle_path::<Bar>(todo!(), |bar: Bar| "()");
   |                   ^^^ explicit generic argument not allowed

🤔