From 8fd9986f0ff1d0414cc064451f72748065a77cdf Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Tue, 5 Jun 2012 20:46:10 -0700
Subject: [PATCH] Forbid classes with no fields

Classes with no fields don't really make sense, so forbid them
(just as records with no fields aren't allowed). Closes #2509
---
 src/rustc/middle/typeck/check.rs      | 6 ++++++
 src/test/compile-fail/issue-2509-a.rs | 9 +++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 src/test/compile-fail/issue-2509-a.rs

diff --git a/src/rustc/middle/typeck/check.rs b/src/rustc/middle/typeck/check.rs
index 70167192afc8..b3f7c5a93885 100644
--- a/src/rustc/middle/typeck/check.rs
+++ b/src/rustc/middle/typeck/check.rs
@@ -387,6 +387,12 @@ fn check_item(ccx: @crate_ctxt, it: @ast::item) {
           };
           // typecheck the members
           for members.each {|m| check_class_member(class_ccx, class_t, m); }
+          // Check that there's at least one field
+          let (fields,_) = split_class_items(members);
+          if fields.len() < 1u {
+              ccx.tcx.sess.span_err(it.span, "A class must have at least one \
+                field");
+          }
           // Check that the class is instantiable
           check_instantiable(ccx.tcx, it.span, it.id);
       }
diff --git a/src/test/compile-fail/issue-2509-a.rs b/src/test/compile-fail/issue-2509-a.rs
new file mode 100644
index 000000000000..a500d249c07a
--- /dev/null
+++ b/src/test/compile-fail/issue-2509-a.rs
@@ -0,0 +1,9 @@
+class c { //! ERROR A class must have at least one field
+    new() { }
+}
+
+fn main() {
+    let a = c();
+    let x = [a];
+    let _y = x[0];
+}