keyword-generics-initiative
keyword-generics-initiative copied to clipboard
Effects and change of type
Current async changes the return type of function to impl Future
, same way as generators, etc.
This requires effects to provide a GAT return type and involves pinning.
For the latter there was proposal for adding FnPinMut function trait.
Should we add this part of fn traits hierarchy to language for further utilisation by features?