commit 70a5cd53f645ff70f6dbcb306fbde3bc778abece
author Behdad Esfahbod <behdad@behdad.org> Mon Nov 21 08:52:33 2022 -0700
committer Behdad Esfahbod <behdad@behdad.org> Mon Nov 21 08:52:33 2022 -0700
tree 688d7138fb5540f018f6c56adfbc031ffbcf527b
parent 9bb39423f5c46fb2f69ac8975de1433020e46411

[algs] Assert trivial copy assignable in stable_sort

src/hb-algs.hh

diff --git a/src/hb-algs.hh b/src/hb-algs.hh
index 1e2e8e2..e5e549f 100644
--- a/src/hb-algs.hh
+++ b/src/hb-algs.hh
@@ -1156,6 +1156,9 @@
 template <typename T, typename T2, typename T3 = int> static inline void
 hb_stable_sort (T *array, unsigned int len, int(*compar)(const T2 *, const T2 *), T3 *array2 = nullptr)
 {
+  static_assert (hb_is_trivially_copy_assignable (T), "");
+  static_assert (hb_is_trivially_copy_assignable (T3), "");
+
   for (unsigned int i = 1; i < len; i++)
   {
     unsigned int j = i;