---

yaml
---
r: 23253
b: refs/heads/master
c: c0140f5
h: refs/heads/master
i:
  23251: cf2169f
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: a83414b6e8879b2485374469f7f5fe60f22ae936
+refs/heads/master: c0140f5c344a206b4147d03d306bd6c83468d30b
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/rustc/middle/check_alt.rs

@@ -4,6 +4,7 @@ import const_eval::{eval_const_expr, const_val, const_int,
                     compare_const_vals};
 import syntax::codemap::span;
 import syntax::print::pprust::pat_to_str;
+import util::ppaux::ty_to_str;
 import pat_util::*;
 import syntax::visit;
 import driver::session::session;
@@ -29,10 +30,15 @@ fn check_expr(tcx: ty::ctxt, ex: @expr, &&s: (), v: visit::vt<()>) {
          // Check for empty enum, because is_useful only works on inhabited
          // types.
        let pat_ty = node_id_to_type(tcx, scrut.id);
-       if type_is_empty(tcx, pat_ty) && arms.is_empty() {
-               // Vacuously exhaustive
-               return;
+       if arms.is_empty() {
+           if !type_is_empty(tcx, pat_ty) {
+               // We know the type is inhabited, so this must be wrong
+               tcx.sess.span_err(ex.span, #fmt("non-exhaustive patterns: \
+                             type %s is non-empty", ty_to_str(tcx, pat_ty)));
            }
+           // If the type *is* empty, it's vacuously exhaustive
+           return;
+       }
        match ty::get(pat_ty).struct {
           ty_enum(did, _) => {
               if (*enum_variants(tcx, did)).is_empty() && arms.is_empty() {

trunk/src/test/compile-fail/issue-3096-1.rs

@@ -0,0 +1,3 @@
+fn main() {
+    match () { } //~ ERROR non-exhaustive
+}

trunk/src/test/compile-fail/issue-3096-2.rs

@@ -0,0 +1,6 @@
+enum bottom { } 
+
+fn main() {
+    let x = ptr::addr_of(()) as *bottom;
+    match x { } //~ ERROR non-exhaustive patterns
+}