user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improve impossible-case handling in ty::get_element_type

Browse source
This commit is contained in:
Tim Chevalier 2011-07-08 21:49:34 -07:00
parent 91d45b91e6
commit 36c4cb37ad
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/comp/middle/ty.rs
View file

@ -959,16 +959,17 @@ fn type_is_tup_like(&ctxt cx, &t ty) -> bool {
}
fn get_element_type(&ctxt cx, &t ty, uint i) -> t {
assert (type_is_tup_like(cx, ty));
alt (struct(cx, ty)) {
case (ty_tup(?mts)) { ret mts.(i).ty; }
case (ty_rec(?flds)) { ret flds.(i).mt.ty; }
case (_) {
cx.sess.bug("get_element_type called on type "
+ ty_to_str(cx, ty) + " - expected a \
tuple or record");
}
}
// NB: This is not exhaustive -- struct(cx, ty) could be a box or a
// tag.
cx.sess.bug("get_element_type called on a value other than a " +
"tuple or record");
}
fn type_is_box(&ctxt cx, &t ty) -> bool {