Consider types that contain fixed-length-zero vectors of themselves as non-representable until #11924 is resolved

This commit is contained in:
Johannes Muenzel 2014-01-30 00:22:39 -05:00
parent b46c0daa7b
commit 8d097b3bfb

View File

@ -2403,8 +2403,9 @@ pub fn is_type_representable(cx: ctxt, ty: t) -> Representability {
ty_tup(ref ts) => { ty_tup(ref ts) => {
find_nonrepresentable(cx, seen, ts.iter().map(|t| *t)) find_nonrepresentable(cx, seen, ts.iter().map(|t| *t))
} }
// Non-zero fixed-length vectors. // Fixed-length vectors.
ty_vec(mt, vstore_fixed(len)) if len != 0 => { // FIXME(#11924) Behavior undecided for zero-length vectors.
ty_vec(mt, vstore_fixed(_)) => {
type_structurally_recursive(cx, seen, mt.ty) type_structurally_recursive(cx, seen, mt.ty)
} }