allow same-named method generics if they have same bounds

1 files changed, 5 insertions, 3 deletions

diff --git a/tests/tests.rs b/tests/tests.rs
index 6bccc04..4d09847 100644
--- a/tests/tests.rs
+++ b/tests/tests.rs
@@ -100,12 +100,14 @@ fn test1<T: Bar1<X>, X, A, B, C>(some: T) {
 trait Buz<X> {
     type C: Into<String>;
 
-    fn foobar<A>(&self, x: X) -> Result<A, Self::C>;
+    fn foobar1<A>(&self, x: X) -> Result<A, Self::C>;
+    fn foobar2<A>(&self) -> Result<A, Self::C>;
 }
 
-fn test2<T: Buz<X>, X, A>(some: T, x: X) -> Result<A, String> {
+fn test2<T: Buz<X>, X, A>(some: T, x: X) {
     let dyn_trait: &dyn DynBuz<X, A> = &some;
-    dyn_trait.foobar(x)
+    let _: Result<A, String> = dyn_trait.foobar1(x);
+    let _: Result<A, String> = dyn_trait.foobar2();
 }
 
 #[dynamize::dynamize]