1 files changed, 18 insertions, 0 deletions
diff --git a/tests/ui/impl-trait/universal_in_trait_defn_parameters.rs b/tests/ui/impl-trait/universal_in_trait_defn_parameters.rs
new file mode 100644
index 00000000000..23c217a8f8b
--- /dev/null
+++ b/tests/ui/impl-trait/universal_in_trait_defn_parameters.rs
@@ -0,0 +1,18 @@
+// run-pass
+
+use std::fmt::Debug;
+
+trait InTraitDefnParameters {
+    fn in_parameters(_: impl Debug) -> String;
+}
+
+impl InTraitDefnParameters for () {
+    fn in_parameters(v: impl Debug) -> String {
+        format!("() + {:?}", v)
+    }
+}
+
+fn main() {
+    let s = <() as InTraitDefnParameters>::in_parameters(22);
+    assert_eq!(s, "() + 22");
+}