Skip to content

Commit

Permalink
Consider types that contain fixed-length-zero vectors of themselves a…
Browse files Browse the repository at this point in the history
…s non-representable until #11924 is resolved
  • Loading branch information
isabelmu committed Jan 30, 2014
1 parent b46c0da commit 8d097b3
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions src/librustc/middle/ty.rs
Expand Up @@ -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)
}

Expand Down

5 comments on commit 8d097b3

@bors
Copy link
Contributor

@bors bors commented on 8d097b3 Jan 30, 2014

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

saw approval from huonw
at isabelmu@8d097b3

@bors
Copy link
Contributor

@bors bors commented on 8d097b3 Jan 30, 2014

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

merging typelist/rust/issue3008 = 8d097b3 into auto

@bors
Copy link
Contributor

@bors bors commented on 8d097b3 Jan 30, 2014

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

typelist/rust/issue3008 = 8d097b3 merged ok, testing candidate = 056363f

@bors
Copy link
Contributor

@bors bors commented on 8d097b3 Jan 30, 2014

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@bors
Copy link
Contributor

@bors bors commented on 8d097b3 Jan 30, 2014

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

fast-forwarding master to auto = 056363f

Please sign in to comment.