Markus Sauermann e8af3e7e8d Fix crash from impossible Object::cast_to ...

A Vector<>-variant can't be used in an Object::cast_to, because
Vector doesn't inherit from Object and this cast always returns a nullptr.

This patch replaces the Object::cast_to and accesses the contained
Vector directly.

2022-11-08 22:34:01 +01:00

188 KiB

Raw Blame History

View Raw