What I suggested OP was asking for was: > all types that _can_ implement `Copy` should do so automatically unless you opt out , which was explicitly intended

What I suggested OP was asking for was: > all types that _can_ implement `Copy` should do so automatically unless you opt out , which was explicitly intended to exclude types with destructors, not > types should auto-derive `Copy` based purely on an analysis of their fields.