diff options
author | David MacIver <david.maciver@gmail.com> | 2008-10-29 15:42:38 +0000 |
---|---|---|
committer | David MacIver <david.maciver@gmail.com> | 2008-10-29 15:42:38 +0000 |
commit | 3128d1e0e540eb914b8ca0fe22b97a1bee56580a (patch) | |
tree | 80437f5501b726defe5e14dc2443a486b7df102e /test/files | |
parent | 391fea8da0f9916e4c384c164ef5c99f258c29e5 (diff) | |
download | scala-3128d1e0e540eb914b8ca0fe22b97a1bee56580a.tar.gz scala-3128d1e0e540eb914b8ca0fe22b97a1bee56580a.tar.bz2 scala-3128d1e0e540eb914b8ca0fe22b97a1bee56580a.zip |
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 }
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/pos/inferbroadtype.scala | 8 |
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 +} |