summaryrefslogtreecommitdiffstats
path: root/src/test/ui/specialization/transmute-specialization.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/specialization/transmute-specialization.rs')
-rw-r--r--src/test/ui/specialization/transmute-specialization.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/specialization/transmute-specialization.rs b/src/test/ui/specialization/transmute-specialization.rs
new file mode 100644
index 000000000..499334d98
--- /dev/null
+++ b/src/test/ui/specialization/transmute-specialization.rs
@@ -0,0 +1,15 @@
+// run-pass
+
+#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
+
+trait Specializable { type Output; }
+
+impl<T> Specializable for T {
+ default type Output = u16;
+}
+
+fn main() {
+ unsafe {
+ std::mem::transmute::<u16, <() as Specializable>::Output>(0);
+ }
+}