also dynamize simple type param bounds in where clauses

1 files changed, 4 insertions, 0 deletions

diff --git a/tests/tests.rs b/tests/tests.rs
index 448af64..3139185 100644
--- a/tests/tests.rs
+++ b/tests/tests.rs
@@ -146,6 +146,10 @@ trait TraitWithCallback {
     type A: Into<String>;
     fn fun_with_callback<F: Fn(Self::A)>(&self, a: F);
 
+    fn fun_with_callback0<G>(&self, a: G)
+    where
+        G: Fn(Self::A);
+
     fn fun_with_callback1<X: Fn(Option<Self::A>)>(&self, a: X);
 
     fn fun_with_callback2<Y: Fn(i32, Option<Self::A>, String) -> bool>(&self, a: Y);