diff options
author | Paul Phillips <paulp@improving.org> | 2012-09-10 07:37:40 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-09-12 20:47:39 -0700 |
commit | 7a44282d130937e0f6f6c8d19bea08f466a0d2e9 (patch) | |
tree | 054d2a01741512b065e614605e8cd9a0034e0992 | |
parent | c168c69e8614f701b6c89e01bdd38a54e154e9cd (diff) | |
download | scala-7a44282d130937e0f6f6c8d19bea08f466a0d2e9.tar.gz scala-7a44282d130937e0f6f6c8d19bea08f466a0d2e9.tar.bz2 scala-7a44282d130937e0f6f6c8d19bea08f466a0d2e9.zip |
Test case for a bug fixed in M7.
-rw-r--r-- | test/files/pos/z1720.scala | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/files/pos/z1720.scala b/test/files/pos/z1720.scala new file mode 100644 index 0000000000..7394d428c1 --- /dev/null +++ b/test/files/pos/z1720.scala @@ -0,0 +1,16 @@ +package test + +class Thing { + def info: Info[this.type] = InfoRepository.getInfo(this) + def info2: Info[this.type] = { + def self: this.type = this + InfoRepository.getInfo(self) + } +} + +trait Info[T] +case class InfoImpl[T](thing: T) extends Info[T] + +object InfoRepository { + def getInfo(t: Thing): Info[t.type] = InfoImpl(t) +} |