Question: std::vector::push_back a non-copyable object gives compiler error