diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-09-15 20:32:01 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-09-15 20:32:01 -0700 |
| commit | 2c6eba00dd4b410159d85889beefc6978da41faa (patch) | |
| tree | cb7d1b0326c6f111b1e4c04f8ab5860fb27ad998 /src/comp | |
| parent | f41f75fe53b705d4363e91b8f66fd51e2b2f9fb5 (diff) | |
| download | rust-2c6eba00dd4b410159d85889beefc6978da41faa.tar.gz rust-2c6eba00dd4b410159d85889beefc6978da41faa.zip | |
Added an extra check in trans_alt
Gratuitous right now, but I'm going to change the type of trans::type_of
Diffstat (limited to 'src/comp')
| -rw-r--r-- | src/comp/middle/trans_alt.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/comp/middle/trans_alt.rs b/src/comp/middle/trans_alt.rs index 2410cd2ea47..066f969ba60 100644 --- a/src/comp/middle/trans_alt.rs +++ b/src/comp/middle/trans_alt.rs @@ -576,6 +576,7 @@ fn bind_irrefutable_pat(bcx: @block_ctxt, pat: @ast::pat, val: ValueRef, // FIXME: Could constrain pat_bind to make this // check unnecessary. check (type_has_static_size(ccx, ty)); + check non_ty_var(ccx, ty); let llty = trans::type_of(ccx, pat.span, ty); let alloc = trans::alloca(bcx, llty); bcx = |