about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorJohannes Muenzel <jmuenzel@gmail.com>2014-01-30 00:22:39 -0500
committerJohannes Muenzel <jmuenzel@gmail.com>2014-01-30 00:31:12 -0500
commit8d097b3bfb7af5c171f0177720e7388a294081e9 (patch)
tree523fe575507d2d9cfb5933ab4a590419f67e8060 /src
parentb46c0daa7ba1fdd9b5ee3ba2b8bd4ff220fa8b6c (diff)
downloadrust-8d097b3bfb7af5c171f0177720e7388a294081e9.tar.gz
rust-8d097b3bfb7af5c171f0177720e7388a294081e9.zip
Consider types that contain fixed-length-zero vectors of themselves as non-representable until #11924 is resolved
Diffstat (limited to 'src')
-rw-r--r--src/librustc/middle/ty.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/librustc/middle/ty.rs b/src/librustc/middle/ty.rs
index 4a166be9aae..3182c4a7ec2 100644
--- a/src/librustc/middle/ty.rs
+++ b/src/librustc/middle/ty.rs
@@ -2403,8 +2403,9 @@ pub fn is_type_representable(cx: ctxt, ty: t) -> Representability {
             ty_tup(ref ts) => {
                 find_nonrepresentable(cx, seen, ts.iter().map(|t| *t))
             }
-            // Non-zero fixed-length vectors.
-            ty_vec(mt, vstore_fixed(len)) if len != 0 => {
+            // Fixed-length vectors.
+            // FIXME(#11924) Behavior undecided for zero-length vectors.
+            ty_vec(mt, vstore_fixed(_)) => {
                 type_structurally_recursive(cx, seen, mt.ty)
             }