require the copy trait on ViewInverse

vadixidav · vadixidav · commit 8785b9c85c4d · 2025-08-04T14:55:06.000-05:00
diff --git a/src/lib.rs b/src/lib.rs
@@ -43,7 +43,7 @@ pub trait ProxyView {
 /// has a unique proxy type associated with it, which is the one that produces the view. This also means
 /// that the definition of these two traits mutually requires both to be defined simultaneously for any
 /// view and proxy pair.
-pub trait ViewInverse<'a> {
+pub trait ViewInverse<'a>: Copy {
     type Owned: 'a;
     type Proxy: ProxyView<View<'a> = Self, Owned = Self::Owned>;
 }

Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@ pub trait ProxyView {`
`43`	`43`	`/// has a unique proxy type associated with it, which is the one that produces the view. This also means`
`44`	`44`	`/// that the definition of these two traits mutually requires both to be defined simultaneously for any`
`45`	`45`	`/// view and proxy pair.`
`46`		`-pub trait ViewInverse<'a> {`
	`46`	`+pub trait ViewInverse<'a>: Copy {`
`47`	`47`	`type Owned: 'a;`
`48`	`48`	`type Proxy: ProxyView<View<'a> = Self, Owned = Self::Owned>;`
`49`	`49`	`}`