Nope. This little neat feature mainly is just necessary part of bigger one - const-generics with const bounds.
That’s false for closures (or unnamed/inline) functions with context because their type is unique and so you just can’t write their type and that’s not a lang’s fault - that’s logically correct side-effect by-design.
@fzz
@programming.dev