https://doc.rust-lang.org/src/core/array/mod.rs.html#105 What if just remove this constraint in these implementations? Can this break something? Same for `Borrow`.