From bd6f84036426c43e08078cf11e4ee70b7714ba2f Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Sat, 20 Nov 2021 19:47:43 +0100
Subject: also dynamize simple type param bounds in where clauses

---
 tests/tests.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tests')

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