summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/universal-mismatched-type.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/universal-mismatched-type.rs')
-rw-r--r--src/test/ui/impl-trait/universal-mismatched-type.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/test/ui/impl-trait/universal-mismatched-type.rs b/src/test/ui/impl-trait/universal-mismatched-type.rs
new file mode 100644
index 000000000..e9129bbd7
--- /dev/null
+++ b/src/test/ui/impl-trait/universal-mismatched-type.rs
@@ -0,0 +1,7 @@
+use std::fmt::Debug;
+
+fn foo(x: impl Debug) -> String {
+ x //~ ERROR mismatched types
+}
+
+fn main() { }