summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/universal_in_trait_defn_parameters.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/universal_in_trait_defn_parameters.rs')
-rw-r--r--src/test/ui/impl-trait/universal_in_trait_defn_parameters.rs18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/impl-trait/universal_in_trait_defn_parameters.rs b/src/test/ui/impl-trait/universal_in_trait_defn_parameters.rs
new file mode 100644
index 000000000..23c217a8f
--- /dev/null
+++ b/src/test/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");
+}