---

catamorphism · catamorphism · commit dcb85f122164 · 2011-09-15T20:32:01.000-07:00
yaml --- r: 5326 b: refs/heads/master c: 2c6eba0 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: f41f75fe53b705d4363e91b8f66fd51e2b2f9fb5
+refs/heads/master: 2c6eba00dd4b410159d85889beefc6978da41faa
diff --git a/trunk/src/comp/middle/trans_alt.rs b/trunk/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 =

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: f41f75fe53b705d4363e91b8f66fd51e2b2f9fb5`
	`2`	`+refs/heads/master: 2c6eba00dd4b410159d85889beefc6978da41faa`