From 1f0656d9084970fcc02ba9c27277265b8b3b7217 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Mon, 19 Jul 2010 13:25:04 -0700 Subject: 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. --- src/test/compile-fail/constructor-as-cast.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/test/compile-fail/constructor-as-cast.rs (limited to 'src/test') 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); +} -- cgit v1.2.3