diff options
author | Paul Phillips <paulp@improving.org> | 2013-01-10 22:47:33 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-01-10 22:47:33 -0800 |
commit | ecea3fc58338f8d4d4bab0f56e2101dbf2a9c0ed (patch) | |
tree | e1d9ec4cb71546474ed0064dd7a6cfa9268d5b05 /test/files/pos | |
parent | 5abadf0aebee68c9ba6a168355d5817f8a99d7e9 (diff) | |
parent | 03caf40523cc768c87080e141993ccfe5df7f57f (diff) | |
download | scala-ecea3fc58338f8d4d4bab0f56e2101dbf2a9c0ed.tar.gz scala-ecea3fc58338f8d4d4bab0f56e2101dbf2a9c0ed.tar.bz2 scala-ecea3fc58338f8d4d4bab0f56e2101dbf2a9c0ed.zip |
Merge pull request #1873 from paulp/pr/variance-bonanza
a painstaking examination of Variance
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/variances-flip.scala | 7 | ||||
-rw-r--r-- | test/files/pos/variances-local.scala | 7 |
2 files changed, 14 insertions, 0 deletions
diff --git a/test/files/pos/variances-flip.scala b/test/files/pos/variances-flip.scala new file mode 100644 index 0000000000..c3ea7b571d --- /dev/null +++ b/test/files/pos/variances-flip.scala @@ -0,0 +1,7 @@ +trait Foo[-A, +B, -C, +D] { + private[this] def b: B = ??? + private[this] def d: D = ??? + + def f(p1: B => A, p2: D => C) = g(p1(b), p2(d)) + def g(x: A, y: C) = ((b, d)) +} diff --git a/test/files/pos/variances-local.scala b/test/files/pos/variances-local.scala new file mode 100644 index 0000000000..35e395095c --- /dev/null +++ b/test/files/pos/variances-local.scala @@ -0,0 +1,7 @@ +class Foo1[+T] { + private[this] type MyType = T +} + +class Foo2[+T] { + protected[this] type MyType = T +} |