---

catamorphism · catamorphism · commit 22a7683890f7 · 2012-06-01T20:40:35.000-07:00
yaml --- r: 13196 b: refs/heads/master c: 14e3fde h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 79787833bbf1c705bb1fa877a88339260a90ec11
+refs/heads/master: 14e3fdea9c0a4e9669d4c918af84b6306aca0123
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
diff --git a/trunk/src/rustc/middle/typeck/check.rs b/trunk/src/rustc/middle/typeck/check.rs
@@ -386,6 +386,8 @@ 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 the class is instantiable
+          check_instantiable(ccx.tcx, it.span, it.id);
       }
       ast::item_ty(t, tps, rp) {
         let tpt_ty = ty::node_id_to_type(ccx.tcx, it.id);

Original file line number	Diff line number	Diff line change
`@@ -386,6 +386,8 @@ fn check_item(ccx: @crate_ctxt, it: @ast::item) {`
`386`	`386`	`};`
`387`	`387`	`// typecheck the members`
`388`	`388`	`for members.each {\|m\| check_class_member(class_ccx, class_t, m); }`
	`389`	`+ // Check that the class is instantiable`
	`390`	`+ check_instantiable(ccx.tcx, it.span, it.id);`
`389`	`391`	`}`
`390`	`392`	`ast::item_ty(t, tps, rp) {`
`391`	`393`	`let tpt_ty = ty::node_id_to_type(ccx.tcx, it.id);`