-
Type:
Improvement
-
Resolution: Won't Do
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: Internal Code
-
None
-
None
-
3
-
None
-
None
-
None
-
None
-
None
-
None
A template function should exist in util/ that casts objects of type std::unique_ptr<Base> to std::unique_ptr<Derived>.
We could consider extending checked_cast for this purpose.