Automatic C++ Return Type Narrowing

Consider class Foo : Bar, and class Zbr : Bar, with Bar an abstract class.
For C++ functions/methods that return a pointer to Bar, when mapping the return value Bar* to Python the language bindings should automatically infer the correct concrete type, Foo or Zbr, and create a Python wrapper for that type instead of the parent type.