scl::feature::concepts::part_compatible_with Concept Reference

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

#include <wrapper.h>

Concept definition

    template<typename Expected, typename Type>
    concept part_compatible_with = ::scl::feature::is_part_compatible_with_v<Expected, Type>

Detailed Description

Satisfied when a part of Expected is compatible with Type.

A nested layer of Expected (a wrapper) is compatible with Type, meaning Type can be constructed from an inner layer of Expected.

Template Parameters

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

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