1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/type-alias-impl-trait/never_reveal_concrete_type.rs b/src/test/ui/type-alias-impl-trait/never_reveal_concrete_type.rs
new file mode 100644
index 000000000..fed5ac07c
--- /dev/null
+++ b/src/test/ui/type-alias-impl-trait/never_reveal_concrete_type.rs
@@ -0,0 +1,14 @@
+#![feature(type_alias_impl_trait)]
+// check-pass
+fn main() {}
+
+type NoReveal = impl std::fmt::Debug;
+
+fn define_no_reveal() -> NoReveal {
+    ""
+}
+
+fn no_reveal(x: NoReveal) {
+    let _: &'static str = x;
+    let _ = x as &'static str;
+}