Add a test for an obvious-seeming (but not actually legal) kind of cast attempted in issue #115, downgrade bug to an err in type.ml so you get a better message.

1 files changed, 13 insertions, 0 deletions

diff --git a/src/test/compile-fail/constructor-as-cast.rs b/src/test/compile-fail/constructor-as-cast.rs
new file mode 100644
index 00000000..2374cd2c
--- /dev/null
+++ b/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);
+}