``is_convertible_without_narrowing``

[DNKpp]

May be worth adapting: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p0870r5.html

As described in C++20 - The complete guide (P. 50) a related concept should depend on std::convertible_to.