src/norms.rs

branch
dev
changeset 163
b4a47e8e80d1
parent 151
402d717bb5c0
child 164
fd9dba51afd3
--- a/src/norms.rs	Wed Sep 03 09:16:03 2025 -0500
+++ b/src/norms.rs	Wed Sep 03 09:52:30 2025 -0500
@@ -201,7 +201,8 @@
 where
     F: Float,
     E: NormExponent,
-    Domain: Space + Norm<E, F>,
+    Domain: Space,
+    Domain::OwnedSpace: Norm<E, F>,
 {
     type Codomain = F;
 

mercurial