: pro::facade_builder //

::add_skill<pro::skills::direct_rtti> //

::support_relocation<pro::constraint_level::nothrow> //

::restrict_layout<4 * sizeof(void*)> //

::add_direct_convention<pro::operator_dispatch<"++">, void() noexcept> //

::add_direct_convention<

pro::operator_dispatch<"!=">,

pro::facade_aware_overload_t<SelfComparisonOverload>> //

::add_convention<pro::implicit_conversion_dispatch,

T&() const noexcept> //

struct MyTrivialFacade

: pro::facade_builder //

::add_convention<pro::operator_dispatch<"()">, void(), void() const> //

::support_copy<pro::constraint_level::trivial> //

::support_relocation<pro::constraint_level::trivial> //

::support_destruction<pro::constraint_level::trivial> //

::build {};

int side_effect = 0;

pro::proxy<MyTrivialFacade> p =

pro::make_proxy<MyTrivialFacade>([&] { side_effect = 1; });

(*p)();

EXPECT_EQ(side_effect, 1);

std::vector<int> original{1, 2, 123};

std::vector<int> expected;

pro::proxy<detail::Range<int>> p = &original;

for (int i : *p) {

expected.push_back(i);

}

EXPECT_EQ(expected, original);

struct MyFacade

: pro::facade_builder //

::add_convention<pro::weak_dispatch<detail::MemFun>, int&()> //

::build {};

static_assert(pro::proxiable<int*, MyFacade>);

int v = 123;

pro::proxy<MyFacade> p = &v;

EXPECT_THROW(p->Fun(), pro::not_implemented);