scl::feature::concepts::compatible_with_part_of Concept Reference

Satisfied when Type is compatible with a part of Expected. More...

#include <wrapper.h>

Concept definition

    template<typename Expected, typename Type>
    concept compatible_with_part_of = ::scl::feature::is_compatible_with_part_of_v<Expected, Type>

Detailed Description

Satisfied when Type is compatible with a part of Expected.

Type (a wrapper) is compatible with a nested layer of Expected, meaning Expected can be constructed with Type as its value argument.

Template Parameters

Expected	The target wrapper type.
Type	The source type to check.

using W  = wrapper<int, plain>;
using WW = wrapper<W,   plain>;
static_assert( compatible_with_part_of<WW, W>);
static_assert(!compatible_with_part_of<W,  WW>);