3 ms·Or https://wg21.link/std23 https://wg21.link/std23by fanf2 2y agoOr https://wg21.link/std23 https://wg21.link/std23