---

yaml
---
r: 314
b: refs/heads/master
c: 1f0656d
h: refs/heads/master
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: f1db420317a53eacf3dfb08b8121ea06ad1ca5b5
+refs/heads/master: 1f0656d9084970fcc02ba9c27277265b8b3b7217

trunk/src/boot/me/type.ml

@@ -261,9 +261,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
           else
             LTYPE_poly ((Array.map (fun p -> p.Common.node) params), ty)
       | Ast.MOD_ITEM_type _ ->
-          Common.bug
-            ()
-            "internal_check_mod_item_decl: unexpected mod item type"
+          Common.err None "Type-item used in non-type context"
   in
 
   let rec internal_check_base_lval

trunk/src/test/compile-fail/constructor-as-cast.rs

@@ -0,0 +1,13 @@
+// error-pattern: non-type context
+type base =
+  obj {
+    fn foo();
+  };
+obj derived() {
+  fn foo() {}
+  fn bar() {}
+}
+fn main() {
+  let derived d = derived();
+  let base b = base(d);
+}