@jhpratt good question! Presumably if we add try closures, we should be able to represent them in the type system.
It’s not super clear whether that should be TryFn, or Fn -> Result / Fn -> Option, etc. But there are definitely cases where we can’t know the concrete type, so there’s an argument to be made for dedicated TryFn traits.
@jhpratt good question! Presumably if we add try closures, we should be able to represent them in the type system.
It’s not super clear whether that should be TryFn, or Fn -> Result / Fn -> Option, etc. But there are definitely cases where we can’t know the concrete type, so there’s an argument to be made for dedicated TryFn traits.