Matches types brace-constructible from C without narrowing. More...

Concept definition

        template<typename T, typename C>
        concept direct_constructible =
            std::is_constructible_v<T, C> && std::is_move_assignable_v<T> && requires { T {std::declval<C>()}; }

Detailed Description

Matches types brace-constructible from C without narrowing.

Brace initialisation is deliberate: it rejects narrowing conversions, so a type taking double is not treated as taking int. Move-assignability is required because the conversion machinery assigns the result.

Template Parameters

T	The type to construct.
C	The type to construct it from.