From 0d5092cd846d4c16ea89e293d4e05f3e885fcb03 Mon Sep 17 00:00:00 2001
From: Quaternions <krakow20@gmail.com>
Date: Sat, 31 Aug 2024 10:47:55 -0700
Subject: [PATCH] another trait bound

---
 fixed_wide_vectors/src/macros/wide.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/fixed_wide_vectors/src/macros/wide.rs b/fixed_wide_vectors/src/macros/wide.rs
index 70d1824..7c82cd2 100644
--- a/fixed_wide_vectors/src/macros/wide.rs
+++ b/fixed_wide_vectors/src/macros/wide.rs
@@ -50,6 +50,7 @@ macro_rules! impl_wide_matrix_operations {
 			where
 				$matrix_inner<U>:$crate::Transpose,
 				$struct_inner<T>:fixed_wide_traits::wide::WideDot<U>,
+				$struct_outer<$struct_inner<T>>:fixed_wide_traits::wide::WideDot<<$matrix_inner<U> as $crate::Transpose>::Inner>,
 		{
 			type Output=$struct_outer<<$struct_inner<T> as fixed_wide_traits::wide::WideDot<U>>::Output>;
 			#[inline]