1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/type-alias-impl-trait/type_of_a_let.rs b/src/test/ui/type-alias-impl-trait/type_of_a_let.rs
new file mode 100644
index 000000000..4e9d1788b
--- /dev/null
+++ b/src/test/ui/type-alias-impl-trait/type_of_a_let.rs
@@ -0,0 +1,22 @@
+#![feature(type_alias_impl_trait)]
+#![allow(dead_code)]
+
+use std::fmt::Debug;
+
+type Foo = impl Debug;
+
+fn foo1() -> u32 {
+    let x: Foo = 22_u32;
+    x
+}
+
+fn foo2() -> u32 {
+    let x: Foo = 22_u32;
+    let y: Foo = x;
+    same_type((x, y)); //~ ERROR use of moved value
+    y //~ ERROR use of moved value
+}
+
+fn same_type<T>(x: (T, T)) {}
+
+fn main() {}