diff options
| author | Paul Phillips <paulp@improving.org> | 2013-06-03 17:44:38 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2013-06-03 17:44:38 -0700 |
| commit | 9aa128cf3d1e1f5081dfca01a121a02898a8d237 (patch) | |
| tree | 8ef4f6112b5d2f6db55fc8675412f4f333b0ad94 /test/files/pos | |
| parent | 2d684df991f5c94f1fe792f8f02da2164a24c649 (diff) | |
| parent | 3c21aa38731b5011d09207e106918e16ded8ff98 (diff) | |
| download | scala-9aa128cf3d1e1f5081dfca01a121a02898a8d237.tar.gz scala-9aa128cf3d1e1f5081dfca01a121a02898a8d237.tar.bz2 scala-9aa128cf3d1e1f5081dfca01a121a02898a8d237.zip | |
Merge pull request #2597 from paulp/issue/7520
SI-7520 bug in subtyping.
Diffstat (limited to 'test/files/pos')
| -rw-r--r-- | test/files/pos/t7520.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/files/pos/t7520.scala b/test/files/pos/t7520.scala new file mode 100644 index 0000000000..747f5278e5 --- /dev/null +++ b/test/files/pos/t7520.scala @@ -0,0 +1,10 @@ +class A { + val x: Singleton with this.type = this + val y: this.type = x +} + +class B { + val x = "" + val xs: x.type with Singleton = x + val y: x.type = xs +} |