Introduced as a result of #2090, we already define the copy constructor further down below, so this isn't needed.