[P2305R0](https://wg21.link/p2305r0) Type inference for variable definitions and function returns (Jens Gustedt)