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 }

1 files changed, 8 insertions, 0 deletions

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
+}