// Helper to decide if an object of type D is convertible to type B (the test
// succeeds in particular when D derives from B)
// Helper to decide if an object of type D is convertible to type B (the test
// succeeds in particular when D derives from B)