Add missing CopyMarker impl · model-checking/verify-rust-std@ea1ab74 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit ea1ab74

Add missing CopyMarker impl

Due to refactoring the const_trait usage, the CopyMarker impl was accidentally deleted, which had the consequence that the Copy specialization for the small-sort was never picked.

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -140,6 +140,8 @@ impl<T: FreezeMarker> UnstableSmallSortFreezeTypeImpl for T {
140 140 #[rustc_unsafe_specialization_marker]
141 141 trait CopyMarker {}
142 142
143 +impl<T: Copy> CopyMarker for T {}
144 +
143 145 impl<T: FreezeMarker + CopyMarker> UnstableSmallSortFreezeTypeImpl for T {
144 146 #[inline(always)]
145 147 fn small_sort_threshold() -> usize {