about summary refs log tree commit diff
path: root/src/rustc
diff options
context:
space:
mode:
authorBen Blum <bblum@andrew.cmu.edu>2012-08-21 21:03:47 -0400
committerBen Blum <bblum@andrew.cmu.edu>2012-08-21 21:05:01 -0400
commit9b489f6fff4aa07bea2db9457ece5f77c211e016 (patch)
treeeabb78391279e2ab6a31cd64e5ec7a277afd4d2d /src/rustc
parent8694ef6fb3191dac441626b5dc45a238e4be9c49 (diff)
Don't refute "()" in let-bindings (fixes #3104).
Diffstat (limited to 'src/rustc')
-rw-r--r--src/rustc/middle/check_alt.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rustc/middle/check_alt.rs b/src/rustc/middle/check_alt.rs
index 66216b523cb..07351f49bea 100644
--- a/src/rustc/middle/check_alt.rs
+++ b/src/rustc/middle/check_alt.rs
@@ -420,6 +420,7 @@ fn is_refutable(tcx: ty::ctxt, pat: @pat) -> bool {
         is_refutable(tcx, sub)
       }
       pat_wild | pat_ident(_, _, none) => { false }
+      pat_lit(@{node: expr_lit(@{node: lit_nil, _}), _}) => { false } // "()"
       pat_lit(_) | pat_range(_, _) => { true }
       pat_rec(fields, _) => {
         for fields.each |it| {