covered convertible but non-copyable classes