# HG changeset patch
# User Tuomo Valkonen <tuomov@iki.fi>
# Date 1745990956 18000
# Node ID 441d30e66a4ad449dc6fb841efb7b75e21cc3422
# Parent  1256e7f7f7ade7bf36fe9c0ecda42c16ca674dd1
Missing restriction in Conjugable

diff -r 1256e7f7f7ad -r 441d30e66a4a src/convex.rs
--- a/src/convex.rs	Wed Apr 30 00:23:04 2025 -0500
+++ b/src/convex.rs	Wed Apr 30 00:29:16 2025 -0500
@@ -22,7 +22,7 @@
 ///
 /// The conjugate type has to implement [`ConvexMapping`], but a `Conjugable` mapping need
 /// not be convex.
-pub trait Conjugable<Domain: HasDual<F>, F: Num = f64>: Mapping<Domain> {
+pub trait Conjugable<Domain: HasDual<F>, F: Num = f64>: Mapping<Domain, Codomain = F> {
     type Conjugate<'a>: ConvexMapping<Domain::DualSpace, F>
     where
         Self: 'a;
@@ -39,7 +39,7 @@
     Domain: Space,
     Predual: HasDual<F>,
 {
-    type Preconjugate<'a>: Mapping<Predual>
+    type Preconjugate<'a>: Mapping<Predual, Codomain = F>
     where
         Self: 'a;