From d8a313dd422c78fb018cfe4249b526fe3e9dc851 Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Fri, 19 Nov 2021 10:35:56 +0100
Subject: allow same-named method generics if they have same bounds

---
 tests/tests.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'tests')

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]
-- 
cgit v1.2.3