From 3128d1e0e540eb914b8ca0fe22b97a1bee56580a Mon Sep 17 00:00:00 2001 From: David MacIver Date: Wed, 29 Oct 2008 15:42:38 +0000 Subject: Test case extracted from Paul's broken patch fo... Test case extracted from Paul's broken patch for #1458 Essentially one needs to make sure Base { val changesBaseClasses = true } doesn't infer the refinement type Base { val changesBaseClasses : Boolean(true) = true } --- test/files/pos/inferbroadtype.scala | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 test/files/pos/inferbroadtype.scala (limited to 'test/files') diff --git a/test/files/pos/inferbroadtype.scala b/test/files/pos/inferbroadtype.scala new file mode 100644 index 0000000000..de8f7aa184 --- /dev/null +++ b/test/files/pos/inferbroadtype.scala @@ -0,0 +1,8 @@ +object Test { + abstract class Base { val changesBaseClasses: Boolean } + class Concrete extends Base { val changesBaseClasses = true } + def getBase : Base = new Concrete + + var c = new Base { val changesBaseClasses = true } + c = getBase +} -- cgit v1.2.3