more validations

Author: jll63

test/CMakeLists.txt

@@ -95,3 +95,7 @@ openmethod_compile_fail_test(
     compile_fail_virtual_ptr_shared_not_const "std::shared_ptr cannot be passed by non-const lvalue reference")
 openmethod_compile_fail_test(
     compile_fail_virtual_ptr_value_to_ref "different virtual_ptr<> reference categories")
+openmethod_compile_fail_test(
+    compile_fail_virtual_parameter_private_base_macros "error")
+openmethod_compile_fail_test(
+    compile_fail_virtual_parameter_private_base_core "must be an unambiguous accessible base")

test/compile_fail_virtual_parameter_private_base_core.cpp

@@ -0,0 +1,31 @@
+// Copyright (c) 2018-2025 Jean-Louis Leroy
+// Distributed under the Boost Software License, Version 1.0.
+// See accompanying file LICENSE_1_0.txt
+// or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+#include <boost/openmethod.hpp>
+
+using namespace boost::openmethod;
+
+class Animal {
+  public:
+    virtual ~Animal() = default;
+};
+
+class Cat : private Animal {
+  public:
+    Animal& as_animal() {
+        return *this;
+    }
+};
+
+struct poke;
+
+auto poke_cat(virtual_ptr<Cat>) -> void {
+}
+
+BOOST_OPENMETHOD_REGISTER(method<poke, void(virtual_ptr<Animal>)>::override<poke_cat>);
+
+
+int main() {
+}

test/compile_fail_virtual_parameter_private_base_macros.cpp

@@ -0,0 +1,31 @@
+// Copyright (c) 2018-2025 Jean-Louis Leroy
+// Distributed under the Boost Software License, Version 1.0.
+// See accompanying file LICENSE_1_0.txt
+// or copy at http://www.boost.org/LICENSE_1_0.txt)
+
+#include <boost/openmethod.hpp>
+
+using boost::openmethod::virtual_ptr;
+
+class Animal {
+  public:
+    virtual ~Animal() = default;
+};
+
+class Cat : private Animal {
+  public:
+    Animal& as_animal() {
+        return *this;
+    }
+};
+
+BOOST_OPENMETHOD(poke, (virtual_ptr<Animal&>), void);
+
+BOOST_OPENMETHOD_OVERRIDE(poke, (virtual_ptr<Cat>), void) {
+}
+
+int main() {
+    Cat felix;
+    poke(felix.as_animal());
+    return 0;
+}